图书介绍

McCarthy函数和Ackermann【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

刘培杰数学工作室编译著
出版社：哈尔滨：哈尔滨工业大学出版社
ISBN：9787560364940
出版时间：2017
标注页数：414页
文件大小：31MB
文件页数：427页
主题词：数理逻辑

PDF下载

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

点击复制MD5值：4c4447d5642a6c339e31b78477e3792b

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用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