可计算性理论导引

作者：李祥编著
出版社：贵阳：贵州人民出版社
出版年份：1986
ISBN：13115·73
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
8
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

目录 1

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

第二章递归函数类 6

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

第四章等价定理 40

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

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

第七章算术谱系 72

第八章递归可枚举集 78

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

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

第十一章计算复杂性 124

第十二章递归数学 138

主要参考文献 156