- 作 者：刘培杰数学工作室编译
- 出 版 社：哈尔滨：哈尔滨工业大学出版社
- 出版年份：2017
- ISBN：9787560364940
- 标注页数：414 页
- PDF页数：427 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源427 ≥414页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一编 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