点击购买此书全本PDF电子书
目 录 1
第一章函数、集合、关系与运算 1
第二章递归函数类 6
第三章图灵可计算函数类 26
第四章等价定理 40
第五章计算模型与Church论题 51
第六章递归论的基本定理 59
第七章算术谱系 72
第八章递归可枚举集 78
第九章图灵归约与跃变算子 93
第十章有穷延伸与有穷损害的优先方法 108
第十一章计算复杂性 124
第十二章递归数学 138
主要参考文献 156