图书介绍
可计算性理论PDF|Epub|txt|kindle电子书版本网盘下载
- 杨东屏，李昂生著 著
- 出版社： 北京：科学出版社
- ISBN：7030063783
- 出版时间：1999
- 标注页数：369页
- 文件大小：11MB
- 文件页数：376页
- 主题词：
PDF下载
下载说明
可计算性理论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录1
前言1
第一章 可计算性理论基础知识1
§1 关于可计算性的基本概念1
§2 算法可计算函数的定义：无穷存储机器11
§3 递归函数的可计算性16
§4 对程序配数，S？定理，通用函数定理23
§5 对角线方法32
§6 递归定理34
第二章 可计算枚举集37
§1 可计算枚举集的基本性质37
§2 不可解问题43
§3 创造集，Post问题46
§4 单纯集56
§5 超单纯集59
§6 对局方法，极大集，e-状态方法62
§7 用改进的Post思想对Post问题的解69
§8 能行禁集和可构造禁集80
§9 模引理和极限引理83
第三章 有穷和无穷延伸方法87
§1 有穷延伸方法介绍87
§2 力迫法介绍89
§3 Ku？era解决Post问题的方法98
§4 余无穷的无穷延伸方法………………………………103 §5 极小度108
第四章 有穷损害优先方法115
§1 引言115
§2 有穷损害优先方法介绍118
第五章 无穷损害优先方法143
§1 真步方法144
§2 树构造方法156
§3 弹球机方法172
第六章 有穷损害优先方法补充176
§1 非钻石格的嵌入与分杈度176
§2 同时区间允许184
第七章 计算复杂性理论195
§1 抽象计算复杂性195
§2 多项式计算复杂性205
第八章 及时单纯集和间段、余间段方法219
第九章 n-可计算枚举集和可计算逼近函数的图灵度237
§1 可计算枚举差集（d.c.e.）237
§2 n-可计算枚举集的定义和基本性质241
§3 n-可计算枚举度（n≥1）的结构研究259
§4 Dn（n≥1）中的可杯性定理267
第十章 树构造和O？-方法279
§1 树构造的基本思路283
§2 定理和需求：Lachlan非囿界定理288
§3 基本模块292
§4 构造299
§5 验证305
§6 相关结果和问题314
第十一章 囿界极小度定理318
§1 介绍318
§2 需求和基本模块322
§3 多个需求相结合时的基本模块330
§4 策略和优先树335
§5 构造339
§6 验证345
参考文献356