当前位置:可计算性理论导引pdf电子书下载 > 数理化

- 作 者:李祥编著
- 出 版 社:贵阳:贵州人民出版社
- 出版年份:1986
- ISBN:13115·73
- 标注页数:156 页
- PDF页数:166 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。
2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源166 ≥156页】
图书下载及付费说明
1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目 录 1
第一章函数、集合、关系与运算 1
第二章递归函数类 6
第三章图灵可计算函数类 26
第四章等价定理 40
第五章计算模型与Church论题 51
第六章递归论的基本定理 59
第七章算术谱系 72
第八章递归可枚举集 78
第九章图灵归约与跃变算子 93
第十章有穷延伸与有穷损害的优先方法 108
第十一章计算复杂性 124
第十二章递归数学 138
主要参考文献 156