数理逻辑 基本原理与形式演算 第2版pdf电子书版本下载

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

数理逻辑 基本原理与形式演算 第2版PDF格式电子书版下载

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

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

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

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

第1章 一阶语言的语法 1

1.1 一阶语言的符号 4

1.2 项 6

1.3 逻辑公式 8

1.4 自由变元与替换 9

1.5 公式的G？del项 13

1.6 结构归纳证明 16

第2章 一阶语言的模型 20

2.1 论域与解释 22

2.2 赋值与模型 24

2.3 项的语义 25

2.4 逻辑连接词符号的语义 26

2.5 公式的语义 28

2.6 可满足性和永真性 31

2.7 关于？的永真公式 33

2.8 Herbrand域、基和公式集 34

2.9 Herbrand模型 36

2.10 含有变元的Herbrand模型 40

2.11 替换引理 43

2.12 模型的同构 47

第3章 形式推理系统 52

3.1 G推理系统 56

3.2 推理树、证明树和可证序贯 58

3.3 G系统的可靠性 64

3.4 G系统的完全性 68

3.5 紧致性和协调性 71

3.6 若干常用推理规则 73

3.7 明论与模型论 75

第4章 可计算性与可表示性 78

4.1 形式理论 79

4.2 初等算术理论 81

4.3 N上的P过程 83

4.4 Church-Turing论题 87

4.5 可表示性问题 89

4.6 P过程的存储状态 90

4.7 P过程指令的操作演算系统 92

4.8 P过程指令的表示 94

4.9 可表示性定理 110

第5章 G？del定理 112

5.1 自指语句 113

5.2 可判定集合 115

5.3 П中的不动点方程 119

5.4 G？del不完全性定理 122

5.5 G？del协调性定理 124

5.6 停机问题 127

第6章 形式理论序列 131

6.1 两个例子 132

6.2 形式理论序列 136

6.3 过程模式 139

6.4 归结序列 142

6.5 缺省扩充序列 145

6.6 力迫序列 148

6.7 关于过程模式的讨论 151

第7章 事实反驳与修正演算 153

7.1 形式结论的必要前提 154

7.2 新猜想和新公理 157

7.3 事实反驳和极大缩减 158

7.4 R－演算 161

7.5 R－演算的可达性、可靠性和完全性 170

7.6 关于科学发现的逻辑 177

7.7 不含删除规则的R－演算 183

7.8 程序调试的操作语义 195

第8章 版本序列和过程模式 210

8.1 版本和版本序列 212

8.2 OPEN过程模式 213

8.3 过程模式的收敛性 217

8.4 过程模式的可交换性 220

8.5 过程模式的独立性 222

8.6 合理过程模式 224

第9章 归纳推理和归纳进程 227

9.1 基项、基语句与基事例 230

9.2 归纳推理系统A 232

9.3 归纳型版本和归纳进程 237

9.4 GUINA过程模式 238

9.5 GUINA过程模式的收敛性 244

9.6 GUINA过程模式的可交换性 247

第10章 一阶语言的元语言环境 249

10.1 三个语言环境 250

10.2 元语言环境的基本原理 254

10.3 公理化方法 258

10.4 形式化方法 260

10.5 科学研究的工作流程 267

参考文献 271

附录1 集合与映射 274

附录2 可表示性定理的证明 277

索引 287