第1章命題邏輯1
1.1內容提要1
1.2例題精選5
1.3應用案例8
1.3.1克雷格探長案卷錄8
1.3.2忘卻林中的艾麗絲（獅子與獨角獸）12
1.3.3忘卻林中的艾麗絲（斤斤計與斤斤較）13
1.4習題解答15
1.5編程答案33
第2章謂詞邏輯36
2.1內容提要36
2.2例題精選40
2.3應用案例43
2.3.1電路領域的知識工程43
2.3.2一個基于邏輯的財務顧問46
2.4習題解答48
2.5編程答案60
第3章集合與關系64
3.1內容提要64
3.2例題精選69
3.3應用案例73
3.3.1同余關系在出版業中的應用73
3.3.2拓撲排序在建筑工序中的應用74
3.3.3等價關系在軟件測試等價類劃分中的應用76
3.4習題解答77
3.5編程答案94離散數學解題指導（第3版）目錄第4章函數98
4.1內容提要98
4.2例題精選101
4.3應用案例102
4.3.1“逢黑必反”魔術102
4.3.2生成函數在解決漢諾塔問題中的應用104
4.4習題解答105
4.5編程答案115
第5章組合計數117
5.1內容提要117
5.2例題精選119
5.3應用案例122
5.3.1大使館通信的碼字數122
5.3.2條條道路通羅馬123
5.4習題解答125
5.5編程答案129
第6章圖論134
6.1內容提要134
6.2例題精選140
6.3應用案例141
6.3.1網絡爬蟲141
6.3.2“讀心術”魔術143
6.3.3高度互聯世界的行為原理145
6.4習題解答148
6.5編程答案168
第7章樹及其應用171
7.1內容提要171
7.2例題精選173
7.3應用案例175
7.3.1Huffman壓縮算法的基本原理175
7.3.2決策樹在風險決策中的應用案例177
7.3.3一字棋博弈的極大、極小過程179
7.4習題解答181
7.5編程答案187
第8章代數系統192
8.1內容提要192
8.2例題精選197
8.3應用案例201
8.3.1物理世界中群的應用201
8.3.2群碼及糾錯能力203
8.4習題解答207
8.5編程答案223
第9章自動機、文法和語言227
9.1內容提要227
9.2例題精選228
9.3應用案例230
9.3.1奇偶校驗機230
9.3.2識別地址的有限狀態機231
9.3.3語音識別233
9.4習題解答233
9.5編程答案239
第10章數論與密碼學244
10.1內容提要244
10.2例題精選245
10.3應用案例247
10.3.1密碼系統與公開密鑰247
10.3.2單向陷門函數在公開密鑰密碼系統中的應用251
10.4習題解答253
10.5編程答案254
附錄A離散數學課程思政資料256
A.1數學與當代科學技術256
A.2數學與國防256
A.3數學與國民經濟256
A.4數學與文化教育256
A.5數學推動現代科技（以華為為例）256
A.6數學基礎是至關重要的（王選院士）256
A.7人工智能的10種“新數學”257
A.8算法及其所解決的問題257
A.9算法數學藝術257
A.10世界因數學而改變258
A.11名人論數學——數學的本質258
A.12離散數學歷史注記258
參考文獻259