目 录前言（王元） 1
第一章计算——它不仅仅是一位匠人 1
第二章图灵机——跳不出的如来佛手心 7
第三章递归函数——以有穷构造无穷的必由之路 17
第四章λ演算——这才是严格的函数运算 28
第五章命题演算和谓词演算——思维演算的符号体系 37
第六章文法、语言和自动机——三个等级森严的家族 49
第七章计算机和高级语言——计算能力相同，万变不离其宗 61
第八章可判定性和可计算性——国王遗愿为何不能实现？ 73
第九章完备性和一致性——令人想起一个破碎的梦 84
第十章计算复杂性——一匹难以驾驭的烈马 94
第十一章P=NP？——一个难倒了无数数学家的谜 105
第十二章最小不动点理论——解开递归迷雾的钥匙 117
编后记（冯克勤） 133