计算模型导引

符号使用一塌糊涂，跟国外教材差距实在太大03-25

这是一本讲义，并非是独立的书籍！不足点先说在前：若非有渠道获取宋老师的讲解（参与课堂等），请不要购买此书自学，自学是难以看懂的（宋公原话）。不足处说完了，接下来全是溢美之词。宋老师的计算模型导引课讲的其实很好，穿插形式语言，离散数学，英语教学（？）。其所推荐的阅读篇目绝对是经典中的经典。05-30

垃圾书，完全就是在堆概念，晦涩难懂。我愿称之为乐色中的乐色05-19

这个学期上课的教材。如果想对递归论有一个大概的了解，那么这本书还是相当不错的。这本书的主要问题还是太简短朴素，缺少直观（当然，宋老师上课的时候讲了一些直观理解）。另外，由于传统上数理逻辑把结构归纳法处理成对一个列表作强归纳，书里的某些证明在受过类型论熏陶的人来说看着很啰嗦。06-13

总感觉此书的定义太陈旧，并且似乎在极力回避程序员从高级语言那里学来的直观，以至于不可读，比如不解释 ELEMENTARY 类的时间复杂度含义，不展示图灵机的定义（纸带的数目和方向，字母表如何选取）在多项式时间范畴内的 robustness，等等。不过若只将各种等价性定理作为证明某一计算模型表达能力（而非便利性）的工具的话，此书确实是自足的。但是不管是否研究 TCS 或数理逻辑，新一代学生实在没必要受课堂上奇怪又过时的观念和教材编排的苦，只希望同名课程尽快退出历史舞台……05-06

全是定义的书，为什么不叫字典呢？03-27

宋公计算模型导引的教材，前排已经说得很详细了，分成三部分讲解（其实还有算盘机）。整本书中有大量的概念和定义，并不适合自学。06-22

苏式教材，相比美式教材的量大管饱有如巨无霸汉堡的风格，苏式教材就好像法国菜。写的很简洁清晰，难度不高，不会超过你南微积分一，说不适合自学的还是自己水平……嗯。然后这本书的主题堪称是计算机科学的基石，计算机中的计算机。每所学校的计算机系都该开这门课，而且应该开在本科。07-26

宋公的书，确实不易自学06-24

从三个方面讲了可计算理论：递归函数论、Lambda演算、图灵机。是上课用的讲义，不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些，跟现在流行的教材中的用法有一定出入。05-30