计算理论导论

【 书 名】 Introduction to the Theory of Computation  
【原出版社】 Thomson Learning  
【作 者】（美）Michael Sipser（麻省理工学院）
【丛 书 名】 经典原版书库  
【出 版 社】 机械工业出版社   
【关键词】 经典书
【ISBN】 711110840X  
【分类】计算机类 » 其它
【简介】
      本书由该领域著名专家兼教育家所著。作者以独特的直觉及广阔的视角向读者展现了计算机科学理论。作者将其清晰而生动的研究建立在广泛的数学规律的基础上．而不是拘泥于低水平的技术细节。比如：对每个论据均提供了“论点“，该论点揭示了数学公式的概念。同样为使读者注重算法本身而不是具体模型，本书用语言而不是伪代码讲述了算法。本书在MIT的讲义的基础上增加了一些内容，如空间复杂性(第3章)．可证明的难题(第9章)和关于计算理论的高级话题(第10章)。