面向計算機科學的數(shù)理邏輯（第二版）

緒論
第一章 預備知識
1.1 集
1.2 歸納定義和歸納證明
第二章 經(jīng)典命題邏輯
2.1 聯(lián)結(jié)詞
2.2 命題語言
2.3 公式的結(jié)構(gòu)
2.4 語義
2.5 邏輯推論
2.6 形式推演
2.7 析取范式和合取范式
2.8 聯(lián)結(jié)符號的完備集
第三章 經(jīng)典一階邏輯
3.1 量詞
3.2 一階語言
3.3 語義
3.4 邏輯推論
3.5 形式推演
3.6 前束范式
第四章 可靠性和完備性
4.1 可滿足性和有效性
4.2 可靠性
4.3 極大協(xié)調(diào)性
4.4 命題邏輯的完備性
4.5 一階邏輯的完備性
4.6 獨立性
第五章 緊致性定理、Lowenheim-Skolem定理、Herbrand定理
5.1 緊致性定理和Lowenheim-Skolem定理
5.2 Herbrand定理
第六章 公理推演系統(tǒng)
6.1 公理推演系統(tǒng)
6.2 兩種推演系統(tǒng)的關(guān)系
第七章 構(gòu)造性邏輯
7.1 證明的構(gòu)造性
7.2 形式推演
7.3 語義
7.4 可靠性
7.5 完備性
第八章 模態(tài)命題邏輯
8.1 模態(tài)命題語言
8.2 形式推演
8.3 語義
8.4 可靠性
8.5 T的完備性
8.6 S4和S5的完備性
第九章 模態(tài)一階邏輯
9.1 模態(tài)一階語言和形式推演
9.2 語義
9.3 可靠性
9.4 完備性
9.5 相等符號
附錄 自然推演中形式證明的簡明形式
參考文獻
符號表
漢英名詞對照表