數(shù)理邏輯：基本原理與形式演算

《信息科學(xué)與技術(shù)基礎(chǔ)叢書》序
序
符號對照表
第1章 一階語言的語法
1.1 一階語言的符號
1.2 項(xiàng)
1.3 邏輯公式
1.4 自由變元與替換
1.5 公式的哥德爾項(xiàng)
1.6 結(jié)構(gòu)歸納證明
第2章 一階語言的模型
2.1 論域與解釋
2.2 賦值與模型
2.3 項(xiàng)的語義
2.4 邏輯連接詞符號的語義
2.5 公式的語義
2.6 可滿足性和永真性
2.7 關(guān)于一的永真公式
2.8 Hintikka集合
2.9 Herbrand模型
2.10 含有變元的Herbrand模型
2.11 替換引理
第3章 形式推理系統(tǒng)
3.1 G推理系統(tǒng)
3.2 推理樹、證明樹和可證序貫
3.3 G系統(tǒng)的可靠性
3.4 緊致性和協(xié)調(diào)性
3.5 G系統(tǒng)的完全性
3.6 若干常用推理規(guī)則
3.7 證明論與模型論
第4章 可計(jì)算性與可表示性
4.1 形式理論
4.2 初等算術(shù)理論
4.3 N上的P過程
4.4 Church—Turing論題
4.5 可表示性問題
4.6 P過程的存儲(chǔ)狀態(tài)
4.7 P過程指令的操作演算系統(tǒng)
4.8 P過程指令的表示
4.9 可表示性定理
第5章 哥德爾定理
5.1 自指語句
5.2 可判定集合
5.3 Ⅱ中的不動(dòng)點(diǎn)方程
5.4 哥德爾不完全性定理
5.5 哥德爾協(xié)調(diào)性定理
5.6 停機(jī)問題
第6章 形式理論序列
6.1 兩個(gè)例子
6.2 形式理論序列
6.3 過程模式
6.4 歸結(jié)序列
6.5 缺省擴(kuò)充序列
6.6 力迫序列
6.7 關(guān)于過程模式的討論
第7章 事實(shí)反駁與修正演算
7.1 形式結(jié)論的必要前提
7.2 新猜想和新公理
7.3 事實(shí)反駁和極大縮減
7.4 R演算
7.5 幾個(gè)例子
7.6 R演算的可達(dá)性
7.7 R演算的可靠性和完全性
7.8 測試基本定理
第8章 版本序列和過程模式
8.1 版本和版本序列
8.2 0PEN過程模式
8.3 P過程模式的收斂性
8.4 JP過程模式的可交換性
8.5 P過程模式的極小性
8.6 理想過程模式
第9章 歸納推理和歸納進(jìn)程
9.1 基項(xiàng)、基語句與基事例
9.2 歸納推理系統(tǒng)A
9.3 歸納型版本和門納進(jìn)程
9.4 GUINA過程模式
9.5 GUINA過程模式的收斂性
9.6 GUINA過程模式的可交換性
9.7 GUINA過程模式的極小性
第10章 一階語言的元語言環(huán)境
10.1 三個(gè)語言環(huán)境
10.2 元語言環(huán)境的基本原理
10.3 公理化方法
10.4 形式化方法
10.5 科學(xué)研究的工作流程
附錄1 集合與映射
附錄2 替換引理及其證明
附錄3 可表示性定理的證明
A3.1 循環(huán)指令在n中的表示
A3.2 P過程體的可表示性
參考文獻(xiàn)
索引