![计算理论导引（原书第3版） - [美] Michael Sipser](https://static.book345.com/covers/s/9787111499718.jpg)
书籍介绍
《计算理论导引（原书第3版）》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
精彩摘录
- "Ignoring the trees to see the forest doesn't mean that one is more important than the other--it just gives a different perspective."
- "We have come to a turning point in the study of the theory of computation. We continue to speak of Turing machines, but our real focus from now on is on algorithms. That is, the Turing machine merely serves as a precise model for the definition of algorithm. We skip over the extensive theory of Turi"
目录
用户评论
不错的教材，自学啃起来有些“硬”，但是能学到不少东西
头会晕
翻看了一小部分
干货满满，所以我给三星。
没有人说这书很难么？你们都太不诚实了。不过收获也很多，总算把 NP 完全问题搞明白了，顺带了解了好多其他的完全问题😂
据说是上一届的计算理论的教材。和递归论还是挺不一样的。
只看了前面一半的内容。
好书，比我们学校老师讲的好无数倍
50页之后就没有我能理解的内容了🙃
粗略浏览，简单科普了下什么是可计算的，为什么计算机的图灵模型就一定能解决这类问题，以及各类编程语言的等价性，后续有需求在来深挖，循例有限状态机fsm而来，不过感觉领悟力偏弱
下载
收藏