点此搜书

可计算性理论导引
  • 作 者:李祥编著
  • 出 版 社:贵阳:贵州人民出版社
  • 出版年份:1986
  • ISBN:13115·73
  • 标注页数:156 页
  • PDF页数:166 页
  • 请阅读订购服务说明与试读!

文档类型

价格(积分)

购买连接

试读

PDF格式

8

立即购买

点击试读

订购服务说明

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

购买PDF格式(8分)
返回顶部