離散數學解題指導（第3版）

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