国外经典计算理论教材,对计算机科学基础知识不可或缺的一部分