书籍介绍
这不是一本让你轻松翻完的书，却是一本读完后会重新理解“计算”二字分量的书。它真正独特的地方，在于作者对“什么值得讲”的取舍：书名虽叫计算理论，核心却从图灵机这个精确模型，转向了算法本身——图灵机只是用来确立“它能捕捉所有算法”这一信念的工具，繁复的低层细节被果断略去。每位读者几乎都绕不开同一道坎：证明前的直觉思路清晰可读，习题却让人卡壳，甚至有人与它“爱恨纠葛”到考完才罢休。正因如此，它格外适合愿意逐题死磕、追求“知其所以然”的人，而非只想速成考点者。它给你的不是知识清单，而是一种看待计算问题的视角：在证明之前先问“为什么这么想”。
精彩摘录
- "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"
用户评论
part 2 看了一部分, part 3 其他地方看过了, 没有细看
偶得，很不错的书！
只读了需要用到的PART1
书是好书，虽然英文版，但是慢慢看说得还是挺清楚的，但是但是。。。习题还是不会呀。。求答案。。。2012/1/10终于考完，和它的爱恨纠葛到此为止。
言简意赅，计算理论之美
What are the fundamental capabilities and limitations of computers?
入门经典
excellent
下载
收藏