数理逻辑【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

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

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

绪论1

第1章 集合论基础5

1.1可数集6

1.1.1映射6

1.1.2可数集的概念7

1.1.3可数集概念的延伸9

1.2康拓尔对角线方法12

1.2.1波尔查诺的无穷观12

1.2.2康拓尔的证明13

1.2.3自然数集的幂集P（N）14

1.3基数15

1.3.1基数的概念15

1.3.2基数大小关系性质16

1.4自然数与有穷集17

1.4.1集合论观点下的自然数17

1.4.2有穷集与有穷基数17

1.5无穷集与？018

1.5.1最小的无穷量18

1.5.2无穷集的肚量19

1.6更高的超穷基数19

1.6.1幂集的基数19

1.6.2关于幂集的康拓尔定理20

1.6.3其他超穷集的基数20

1.6.4连续统与连续统假设22

本章习题22

第2章 可计算性理论基础24

2.1计算概念的形成与发展24

2.1.1计算概念的初识——抽象思维的进步25

2.1.2计算概念的定义——计算本质的揭示25

2.1.3计算概念的发展——计算方式的进化26

2.2算法与能行过程27

2.2.1算法概念的由来27

2.2.2算法概念的描述28

2.2.3能行过程与可计算性29

2.2.4停机问题30

2.3可计算性概念的数学描述31

2.3.1递归函数31

2.3.2图灵机与图灵可计算函数34

2.4理想计算机38

2.4.1 URM模型与指令系统38

2.4.2 URM可计算函数41

本章习题43

第3章 形式命题演算45

3.1命题与命题演算形式系统45

3.1.1命题的概念45

3.1.2命题的表示与翻译47

3.1.3命题演算形式系统49

3.2命题演算形式推理50

3.2.1命题演算形式证明与定理50

3.2.2相对证明与演绎定理51

3.3命题公式的等价与替换58

3.3.1等价命题公式58

3.3.2等价命题替换定理59

3.4对偶命题公式60

3.4.1命题公式的对偶式60

3.4.2对偶原则60

3.5形式系统再认识61

3.5.1形式系统理论61

3.5.2形式系统L的简化62

3.6形式系统的进一步讨论64

3.6.1赋值与重言式64

3.6.2 L的可靠性定理66

3.6.3 L的充分性定理67

本章习题69

第4章 谓词演算72

4.1谓词表达式72

4.1.1谓词与量词72

4.1.2谓词表达式与翻译74

4.2一阶语言？77

4.2.1一阶语言？与谓词公式77

4.2.2自由变元与约束变元78

4.3解释与可满足性81

4.3.1解释81

4.3.2可满足性82

4.4公式的真与假87

4.4.1公式真假定义87

4.4.2闭公式及其性质88

4.4.3逻辑普效与矛盾式89

4.4.4 ？的重言式89

本章习题90

第5章 谓词演算形式系统92

5.1形式系统K？92

5.1.1 K？的定义92

5.1.2 K？的可靠性证明93

5.1.3 K？的演绎定理94

5.2等值与代入97

5.2.1等值词的定义97

5.2.2替换定理98

5.3前束范式99

5.3.1前束范式的概念99

5.3.2前束范式定理100

5.3.3公式分层101

5.4 K？的充分性定理102

5.4.1一阶系统的协调完全扩充102

5.4.2一阶语言？的扩展103

5.4.3 K？的充分性定理证明104

本章习题106

第6章 一阶算术形式系统与哥德尔不完备性定理107

6.1一阶算术形式系统107

6.1.1逻辑公理与系统公理107

6.1.2带等词的一阶系统109

6.1.3一阶算术系统N110

6.2哥德尔不完备性定理117

6.2.1 N的模型与可表示性定理118

6.2.2哥德尔编码与哥德尔数120

6.2.3形式系统论断的关系表示120

6.2.4不完备性定理的证明121

本章习题122

附录A习题解答123

参考文献136