书籍介绍
本书是计算理论领域的经典之作，以形式语言与自动机、可计算性、计算复杂性三大板块，系统梳理了从集合关系到图灵机的完整脉络。与许多偏重形式推导的同类教材不同，作者刻意突出算法视角，让抽象的可判定性、NP完全性等难题更贴近计算机专业学生的接受习惯。读者反馈显示，它既是计算机专业的核心课程用书，也被不少人视为值得反复啃读的奇书：有人考完试仍想重读，也有人感叹其
用户评论
邱奇图灵论题：算法对应于图灵机。
据教授所说其他讲述计算理论的书都大同小异，重点还是在于书中传达的思想，但思想并不是作者所作，其他计算理论的书并没有读过，所以这打分是给创造出本书思想的前辈打的。满分五分可能都少了。
真的很后悔选这门课。。。小金刚啊，笑面虎啊，加菲，放过我吧
我有幸上过国际软件学院的顶尖科学家雨果的课
科普，科普
很难读 读完也很懵 需要看好几遍的书
这是一门神课，纪念一下大学
计算理论课的教材，学的时候听的云里雾里，复习的时候才略为窥见一斑。是很不错的书，值得一看。
清华大学出版社的其他书籍查看全部
下载
收藏