图书介绍
McCarthy函数和AckermannPDF|Epub|txt|kindle电子书版本网盘下载
- 刘培杰数学工作室编译 著
- 出版社： 哈尔滨：哈尔滨工业大学出版社
- ISBN：9787560364940
- 出版时间：2017
- 标注页数：414页
- 文件大小：31MB
- 文件页数：427页
- 主题词：数理逻辑
PDF下载
点此进入-本书在线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