数理逻辑pdf电子书版本下载

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

数理逻辑PDF格式电子书版下载

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

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

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

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

前言页 1

第一章 形式系统 6

第二章 命题逻辑 6

2．1 命题逻辑形式系统■ 6

2．2 ■的定理和导出规则 10

2．3 ■的语义、协调性 18

2．4 ■的完全性 25

2．5 ■的独立性 31

2．6 命题联结词 35

2．7 ■的紧致性 45

2．8 消解 46

第三章 一阶逻辑 57

3．1 一阶逻辑形式系统■ 57

3．2 ■的定理和导出规则 66

3．3 代入定理 89

3．4 前束范式 103

3．5 ■的语义 108

3．6 独立性 126

3．7 协调性和完全性 135

第四章 等词 151

4．1 等词系统■ 151

4．2 等词模型 161

第五章 证明与反驳 171

5．1 自然演绎 171

5．2 Skolem标准型 175

5．3 Herbrand定理 178

5．4 抽象协调性 189

5．5 Gentzen定理 197

5．6 语义树 205

5．7 ■—反驳 211

5．8 合一化 221

习题 221

参考文献 221