《可计算性理论》
| 作者 | 张宏裕编著 编者 |
|---|---|
| 出版 | 天津：天津科学技术出版社 |
| 参考页数 | 218 |
| 出版时间 | 1989（求助前请核对） 目录预览 |
| ISBN号 | 7530803840 — 求助条款 |
| PDF编号 | 88813228（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目录1
第一章 可计算函数6
§1理想计算机6
§2可计算函数的概念9
§3程序的连接14
§4生成可计算函数的方法15
§5归纳集合29
习题33
第二章 原始递归函数35
§1基本概念和基本定理35
§2原始递归谓词43
§3串值递归和二重递归50
§4哥德尔β函数56
§5配对函数58
习题67
第三章 部分 递归函数和一般递归函数69
§1部分递归函数的概念69
§2一般递归谓词72
§3阿克曼函数74
§4阿克曼函数的一般递归性82
§5等式系85
习题96
第四章 理想机和等式系的算术化98
§1理想机M的算术化98
§2关于二进位数的几个原始递归函数102
§3程序编码函数的原始递归性105
§4范式定理和s-m-n定理115
§5等式系的算术化119
§6车赤论题126
习题131
第五章 不可解的判定问题132
§1递归可枚举谓词132
§2不可解的判定问题138
习题143
第六章 递归可枚举集合145
§1递归集合和递归枚举集合的概念145
§2递归可枚举集合的性质149
§3创造集合和单纯集合157
§4递归变换群的概念162
习题165
§1问题的转化167
第七章 丢番图方程167
§2丢番图谓词是递归枚举谓词171
§3递归枚举谓词是拟丢番图谓词172
§4正规序列175
§5受囿全称量词运算保持谓词的丢番图性质186
习题196
第八章 相关递归性和克林尼分层197
§1理想计算机MO197
§2相关递归性198
§3强归约性203
§4非递归谓词的分类205
§5非递归谓词的表示209
习题216
参考文献217
1989《可计算性理论》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由张宏裕编著 1989 天津：天津科学技术出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 可计算性与计算复杂性导引
- 1996 北京：北京大学出版社
-
- 系统可靠性设计理论与方法
- 《电子报》编辑部；四川省电子学会可靠性分会
-
- 计算理论
- 1993 广州：华南理工大学出版社
-
- 电力系统可靠性的基本理论和计算方法 2
- 1980 清华大学电力系
-
- 电力系统可靠性的基本理论和计算方法 1
- 1980 清华大学电力系
-
- 计算机可靠性理论与实践
- 1994 成都：电子科技大学出版社
-
- 计算机软件可靠性与质量管理
- 1992 北京：中国经济出版社
-
- 计算机软件的可靠性
- 1988 北京：国防工业出版社
-
- 机械强度可靠性计算
- 1994 北京：科学技术文献出版社
-
- 可控硅原理及应用 第3版
- 1968 中国人民解放军武字二五一部队
-
- 可计算性项目的三次设计
- 1985 北京：北京大学出版社
-
- 女科调经要旨
- 1998 上海：上海科学技术出版社
-
- 可靠性理论与实务
- 1984 中兴管理顾问公司
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD