McCarthy函数和Ackermannpdf电子书版本下载

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

McCarthy函数和AckermannPDF格式电子书版下载

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

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

第一编 McCarthy函数与Acker-mann函数 3

第1章 一道竞赛题与McCarthy函数 3

第2章 Ackermann函数 28

第3章 递归函数的历史与应用 33

第4章 非原始递归函数一例 49

第5章 一类完全递归函数的分层 53

第6章 胡世华论递归结构理论 69

1 可数代数结构中的显定义 69

2 原始递归函数和递归结构 71

第二编 莫绍揆论数理逻辑 81

第7章 数理逻辑的由来 81

1 传统逻辑的不足 82

2 数理逻辑的兴起 89

3 非欧几何带来的问题 100

4 微积分基础的争论 108

5 集合论悖论 112

第8章 数理逻辑的主要内容 118

1 公理集合论与证明论 119

2 能行性理论与模型论 124

3 命题演算 132

4 谓词演算 139

5 有关传统逻辑与模态逻辑 148

6 蕴涵词及其怪论 155

第9章 关于数理逻辑的三大派 162

1 逻辑主义派 163

2 直觉主义派 180

3 形式主义派 188

第10章 数理逻辑中一些基本概念 198

1 记号与符号 199

2 变元 212

第三编 历史与进展 241

第11章 林夏水、张尚水介绍数理逻辑在中国 241

第12章 哥德尔定理——数理逻辑发展的第三阶段 255

附录Ⅰ 理论计算机科学引论 268

1 抽象计算机 268

2 S表达式 278

3 递归函数 289

4 顺序计算 304

5 可举集合 316

6 逻辑计算 325

附录Ⅱ 胡世华先生的学术成就 343

附录Ⅲ 莫斯科大学数学计算机系递归函数课程讲义 353

编辑手记 400