计算理论导论(中文版)

MIT的教材，概念清晰，深入浅出。本书由该领域著名专家兼教育家所著。作者以独特的直觉及广阔的视角向读者展现了计算机科学理论。作者将其清晰而生动的研究建立在广泛的数学规律的基础上．而不是拘泥于低水平的技术细节。比如：对每个论据均提供了“论点“，该论点揭示了数学公式的概念。同样为使读者注重算法本身而不是具体模型，本书用语言而不是伪代码讲述了算法。本书在MIT的讲义的基础上增加了一些内容，如空间复杂性(第3章)．可证明的难题(第9章)和关于计算理论的高级话题(第10章)。