数学、计算、逻辑PDF电子书下载

目 录前言（王元） 1

第一章计算——它不仅仅是一位匠人 1

第二章图灵机——跳不出的如来佛手心 7

第三章递归函数——以有穷构造无穷的必由之路 17

第四章λ演算——这才是严格的函数运算 28

第五章命题演算和谓词演算——思维演算的符号体系 37

第六章文法、语言和自动机——三个等级森严的家族 49

第七章计算机和高级语言——计算能力相同，万变不离其宗 61

第八章可判定性和可计算性——国王遗愿为何不能实现？ 73

第九章完备性和一致性——令人想起一个破碎的梦 84

第十章计算复杂性——一匹难以驾驭的烈马 94

第十一章P=NP？——一个难倒了无数数学家的谜 105

第十二章最小不动点理论——解开递归迷雾的钥匙 117

编后记（冯克勤） 133