離散數(shù)學(xué)解題指導(dǎo)（第3版）

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