第一篇數(shù) 理 邏 輯
第1章命題邏輯/31.1命題及其表示3
1.1.1命題3
1.1.2命題的表示4
1.2聯(lián)結(jié)詞4
1.2.1否定5
1.2.2合取5
1.2.3析取6
1.2.4條件6
1.2.5雙條件7
1.3命題公式與翻譯8
1.3.1命題公式8
1.3.2翻譯9
1.4真值表與等價式10
1.4.1真值表10
1.4.2等價式12
1.5重言式、蘊含式與對偶式14
1.5.1重言式14
1.5.2蘊含式15
1.5.3對偶式17
1.6聯(lián)結(jié)詞的完備集18
1.6.1不可兼析取18
1.6.2條件的否定19
1.6.3與非19
1.6.4或非19
1.6.5聯(lián)結(jié)詞的完備集20
1.7命題公式的范式21
1.7.1合取范式與析取范式211.7.2主析取范式23
1.7.3主合取范式26
1.7.4主析取范式與主合取范式之間的聯(lián)系28
1.8推理理論29
1.8.1有效結(jié)論與推理規(guī)則29
1.8.2判斷有效結(jié)論的常用方法31
1.9命題邏輯的應(yīng)用35
1.10本章總結(jié)37
1.11本章習(xí)題38
〖1〗離散數(shù)學(xué)目錄〖3〗〖3〗第2章謂詞邏輯/44
2.1謂詞的概念與表示44
2.1.1謂詞的定義44
2.1.2n元謂詞45
2.2命題函數(shù)與量詞46
2.2.1命題函數(shù)46
2.2.2量詞47
2.3謂詞公式與翻譯48
2.3.1謂詞公式48
2.3.2謂詞公式的翻譯49
2.4變元的約束50
2.4.1約束變元與自由變元50
2.4.2約束變元的換名與自由變元的代入51
2.4.3有限論域客體變元的枚舉52
2.5謂詞演算的等價式與蘊含式52
2.5.1謂詞公式的賦值及分類52
2.5.2謂詞演算的等價式53
2.5.3謂詞演算的蘊含式55
2.5.4多個量詞之間的等價關(guān)系與蘊含關(guān)系56
2.6前束范式57
2.7謂詞演算的推理理論58
2.8本章總結(jié)61
2.9本章習(xí)題63第二篇集合論
第3章集合/713.1集合的概念和表示法71
3.1.1集合的概念71
3.1.2集合的表示72
3.1.3特殊集合74
3.1.4集合之間的關(guān)系74
3.2集合的運算76
3.3序偶與笛卡兒積82
3.3.1序偶82
3.3.2笛卡兒積83
3.4包含排斥原理85
3.5集合的劃分與覆蓋87
3.6集合的應(yīng)用89
3.7本章總結(jié)92
3.8本章習(xí)題95
第4章關(guān)系/100
4.1關(guān)系的概念與表示100
4.1.1關(guān)系的概念100
4.1.2關(guān)系的表示102
4.2關(guān)系的性質(zhì)105
4.2.1關(guān)系的幾種性質(zhì)105
4.2.2性質(zhì)的判別109
4.3復(fù)合關(guān)系和逆關(guān)系111
4.3.1復(fù)合關(guān)系111
4.3.2逆關(guān)系115
4.4關(guān)系的閉包運算117
4.4.1關(guān)系的閉包定義118
4.4.2關(guān)系閉包運算的相關(guān)定理118
4.5等價關(guān)系與等價類123
4.5.1等價關(guān)系124
4.5.2等價類125
4.5.3商集126
4.6相容關(guān)系128
4.6.1相容關(guān)系及其表示128
4.6.2相容類129
4.6.3最大相容類130
4.6.4完全覆蓋131
4.7序關(guān)系132
4.7.1偏序關(guān)系及其表示132
4.7.2蓋住關(guān)系132
4.7.3全序關(guān)系134
4.7.4特殊元素135
4.7.5良序集合137
4.8關(guān)系的應(yīng)用138
4.9本章總結(jié)142
4.10本章習(xí)題143
第5章函數(shù)/151
5.1函數(shù)的概念151
5.2幾種特殊的函數(shù)152
5.3函數(shù)的運算（復(fù)合、逆函數(shù)）154
5.3.1復(fù)合函數(shù)154
5.3.2逆函數(shù)155
5.4函數(shù)的應(yīng)用157
5.5本章總結(jié)161
5.6本章習(xí)題162
第三篇代 數(shù) 系 統(tǒng)
第6章代數(shù)結(jié)構(gòu)/1676.1代數(shù)系統(tǒng)引論167
6.2基本運算及其性質(zhì)168
6.3半群與獨異點174
6.4群與子群176
6.5阿貝爾群與循環(huán)群180
6.5.1阿貝爾群（交換群）180
6.5.2循環(huán)群180
6.6置換群183
6.7陪集與拉格朗日定理184
6.7.1陪集184
6.7.2拉格朗日定理186
6.8同構(gòu)與同態(tài)188
6.8.1同構(gòu)188
6.8.2同態(tài)190
6.9環(huán)與域193
6.9.1環(huán)193
6.9.2域196
6.10代數(shù)結(jié)構(gòu)的應(yīng)用198
6.10.1計數(shù)問題198
6.10.2群碼與糾錯碼201
6.11本章總結(jié)215
6.12本章習(xí)題217
第7章格與布爾代數(shù)/221
7.1格的定義221
7.2分配格226
7.3有補格228
7.4布爾代數(shù)230
7.4.1布爾代數(shù)的一般概念230
7.4.2子代數(shù)231
7.4.3布爾同態(tài)與布爾同構(gòu)232
7.5布爾代數(shù)表達式235
7.6格與布爾代數(shù)的應(yīng)用242
7.6.1布爾函數(shù)的表示法243
7.6.2邏輯電路設(shè)計方法246
7.6.3時序邏輯電路的設(shè)計250
7.7本章總結(jié)254
7.8本章習(xí)題256
第四篇圖論
第8章圖/2618.1圖的基本概念261
8.2路、回路與連通性267
8.2.1路與回路267
8.2.2無向圖的連通性268
8.2.3有向圖的連通性271
8.3圖的矩陣表示273
8.3.1鄰接矩陣273
8.3.2可達矩陣276
8.3.3關(guān)聯(lián)矩陣277
8.4圖的應(yīng)用279
8.4.1無向圖的應(yīng)用279
8.4.2有向圖的應(yīng)用280
8.4.3混合圖的應(yīng)用280
8.4.4一些特殊簡單圖及其應(yīng)用280
8.5本章總結(jié)282
8.6本章習(xí)題284
第9章特殊圖/287
9.1歐拉圖287
9.2哈密爾頓圖292
9.3平面圖296
9.4對偶圖299
9.5樹與根樹302
9.5.1樹的概念302
9.5.2生成樹304
9.5.3根樹305
9.6樹與根樹的應(yīng)用307
9.6.1最小生成樹307
9.6.2最優(yōu)樹308
9.7本章總結(jié)309
9.8本章習(xí)題312
參考文獻/315