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

《信息科學(xué)與技術(shù)基礎(chǔ)叢書》序
序
符號(hào)對(duì)照表
第1章 一階語(yǔ)言的語(yǔ)法
1.1 一階語(yǔ)言的符號(hào)
1.2 項(xiàng)
1.3 邏輯公式
1.4 自由變?cè)c替換
1.5 公式的哥德?tīng)栱?xiàng)
1.6 結(jié)構(gòu)歸納證明
第2章 一階語(yǔ)言的模型
2.1 論域與解釋
2.2 賦值與模型
2.3 項(xiàng)的語(yǔ)義
2.4 邏輯連接詞符號(hào)的語(yǔ)義
2.5 公式的語(yǔ)義
2.6 可滿足性和永真性
2.7 關(guān)于一的永真公式
2.8 Hintikka集合
2.9 Herbrand模型
2.10 含有變?cè)腍erbrand模型
2.11 替換引理
第3章 形式推理系統(tǒng)
3.1 G推理系統(tǒng)
3.2 推理樹(shù)、證明樹(shù)和可證序貫
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過(guò)程
4.4 Church—Turing論題
4.5 可表示性問(wèn)題
4.6 P過(guò)程的存儲(chǔ)狀態(tài)
4.7 P過(guò)程指令的操作演算系統(tǒng)
4.8 P過(guò)程指令的表示
4.9 可表示性定理
第5章 哥德?tīng)柖ɡ?br /> 5.1 自指語(yǔ)句
5.2 可判定集合
5.3 Ⅱ中的不動(dòng)點(diǎn)方程
5.4 哥德?tīng)柌煌耆远ɡ?br /> 5.5 哥德?tīng)枀f(xié)調(diào)性定理
5.6 停機(jī)問(wèn)題
第6章 形式理論序列
6.1 兩個(gè)例子
6.2 形式理論序列
6.3 過(guò)程模式
6.4 歸結(jié)序列
6.5 缺省擴(kuò)充序列
6.6 力迫序列
6.7 關(guān)于過(guò)程模式的討論
第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 測(cè)試基本定理
第8章 版本序列和過(guò)程模式
8.1 版本和版本序列
8.2 0PEN過(guò)程模式
8.3 P過(guò)程模式的收斂性
8.4 JP過(guò)程模式的可交換性
8.5 P過(guò)程模式的極小性
8.6 理想過(guò)程模式
第9章 歸納推理和歸納進(jìn)程
9.1 基項(xiàng)、基語(yǔ)句與基事例
9.2 歸納推理系統(tǒng)A
9.3 歸納型版本和門納進(jìn)程
9.4 GUINA過(guò)程模式
9.5 GUINA過(guò)程模式的收斂性
9.6 GUINA過(guò)程模式的可交換性
9.7 GUINA過(guò)程模式的極小性
第10章 一階語(yǔ)言的元語(yǔ)言環(huán)境
10.1 三個(gè)語(yǔ)言環(huán)境
10.2 元語(yǔ)言環(huán)境的基本原理
10.3 公理化方法
10.4 形式化方法
10.5 科學(xué)研究的工作流程
附錄1 集合與映射
附錄2 替換引理及其證明
附錄3 可表示性定理的證明
A3.1 循環(huán)指令在n中的表示
A3.2 P過(guò)程體的可表示性
參考文獻(xiàn)
索引