可计算性理论导引PDF电子书下载

目 录 1

第一章函数、集合、关系与运算 1

第二章递归函数类 6

第三章图灵可计算函数类 26

第四章等价定理 40

第五章计算模型与Church论题 51

第六章递归论的基本定理 59

第七章算术谱系 72

第八章递归可枚举集 78

第九章图灵归约与跃变算子 93

第十章有穷延伸与有穷损害的优先方法 108

第十一章计算复杂性 124

第十二章递归数学 138

主要参考文献 156