McCarthy函数和AckermannPDF电子书下载

第一编 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