第1章命題邏輯1
1.1命題與命題聯結詞1
1.2命題公式與真值表7
1.3命題公式的翻譯9
1.4等價式與蘊涵式10
1.5對偶與範式14
1.6命題邏輯的推理理論22
1.7其他聯結詞26
第2章謂詞邏輯31
2.1基本概念31
2.2謂詞邏輯的翻譯36
2.3謂詞公式的解釋37
2.4謂詞演算的等價式與蘊涵式38
2.5前束範式41
2.6謂詞邏輯的推理理論41
第3章集合47
3.1集合的概念和表示法47
3.2集合的運算50
3.3素的計數54
第4關繫57
4.1序偶與笛卡爾乘積57
4.2關繫及其表示59
4.3關繫的性質62
4.4關繫的運算64
4.5等價關繫與劃分70
4.6相容關繫與覆蓋73
4.7偏序關繫76
第5章函數82
5.1函數的概念82
5.2特殊函數83
5.3函數的復合與逆函數84
5.4集合的基數、可數集和不可數集87
第6章代數結構91
6.1代數繫統的概念91
6.2運算及其性質91
6.3半群和含幺半群95
6.4群與子群97
6.5交換群與循環群101
6.6陪集與拉格朗日定理103
6.7同態與同構106
6.8環與域109
第7章格和布爾代數114
7.1格的概念114
7.2分配格118
7.3有補格121
7.4布爾代數122
7.5布爾表達式125
第8章圖133
8.1圖的基本概念133
8.2路與圖的連通性143
8.3圖的矩陣表示149
8.4賦權圖及最短路徑152
8.5特殊的圖155
第9章樹172
9.1無向樹及生成樹172
9.2根樹及其應用176
參考文獻186