图书介绍

递归论导论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

递归论导论
  • 郭世铭著 著
  • 出版社： 北京：中国社会科学出版社
  • ISBN：7500422954
  • 出版时间：1998
  • 标注页数：178页
  • 文件大小：5MB
  • 文件页数：185页
  • 主题词：

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：19d50120dd380aef24c55c313cae5457

下载说明

递归论导论PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章 导言和预备知识3

1.1 算法3

1.2 部分函数6

第二章 图灵可计算函数9

2.1 图灵机的基本概念10

2.2 图灵可计算函数15

2.3 正则的图灵机20

2.4 可计算性与函数运算30

习题36

第三章 部分递归函数39

3.1 原始递归函数39

3.2 部分递归函数48

习题51

第四章 通用函数和通用图灵机55

4.1 图灵机的算术化55

4.1.1 图灵机的编号55

4.1.2 瞬时描述的编号58

4.1.3 图灵机的算术化61

4.2 通用函数和通用图灵机63

4.3 对角线方法65

习题68

第五章 s-m-n定理和递归定理69

5.1 丘奇论题69

5.2 s-m-n定理72

5.3 递归定理76

习题77

第六章 哥德尔不完全性定理79

6.1 形式算术79

6.2 PA系统的算术化84

6.3 数字可表示性87

6.4 哥德尔不完全性定理93

第七章 递归可枚举集101

7.1 判定问题101

7.2 递归可枚举集104

习题115

第八章 m-归约和m-度116

8.1 m-归约116

8.2 指标集121

8.3 产生集、创造集和单纯集127

习题133

第九章 图灵度134

9.1 相对可计算性134

9.2 图灵度143

9.3 极限148

习题151

第十章 波斯特问题153

10.1 波斯特问题和单纯集153

10.2 优先方法159

10.3 穆契尼克和弗里德伯格的证明165

习题171

索引173

参考书目178

热门推荐