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

第1章 命題邏輯
1.1 內(nèi)容提要
1.2 例題精選
1.3 應(yīng)用案例
1.3.1 克雷格探長(zhǎng)案卷錄
1.3.2 忘卻林中的艾麗絲（獅子與獨(dú)角獸）
1.3.3 忘卻林中的艾麗絲（斤斤計(jì)與斤斤較）
1.4 習(xí)題解答
1.5 編程答案
第2章 謂詞邏輯
2.1 內(nèi)容提要
2.2 例題精選
2.3 應(yīng)用案例
2.3.1 電路領(lǐng)域的知識(shí)工程
2.3.2 一個(gè)基于邏輯的財(cái)務(wù)顧問(wèn)
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 拓?fù)渑判蛟诮ㄖば蛑械膽?yīng)用
3.3.3 等價(jià)關(guān)系在軟件測(cè)試等價(jià)類(lèi)劃分中的應(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ù)在解決漢諾塔問(wèn)題中的應(yīng)用
4.4 習(xí)題解答
4.5 編程答案
第5章 組合計(jì)數(shù)
5.1 內(nèi)容提要
5.2 例題精選
5.3 應(yīng)用案例
5.3.1 大使館通信的碼字?jǐn)?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ò)爬蟲(chóng)
6.3.2 “讀心術(shù)”魔術(shù)
6.3.3 高度互聯(lián)世界的行為原理
6.4 習(xí)題解答
6.5 編程答案
第7章 樹(shù)及其應(yīng)用
7.1 內(nèi)容提要
7.2 例題精選
7.3 應(yīng)用案例
7.3.1 Huffman壓縮算法的基本原理
7.3.2 決策樹(shù)在風(fēng)險(xiǎn)決策中的應(yīng)用案例
7.3.3 一字棋博弈的極大、極小過(guò)程
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 群碼及糾錯(cuò)能力
8.4 習(xí)題解答
8.5 編程答案
第9章 自動(dòng)機(jī)、文法和語(yǔ)言
9.1 內(nèi)容提要
9.2 例題精選
9.3 應(yīng)用案例
9.3.1 奇偶校驗(yàn)機(jī)
9.3.2 識(shí)別地址的有限狀態(tài)機(jī)
9.3.3 語(yǔ)音識(shí)別
9.4 習(xí)題解答
9.5 編程答案
0章 數(shù)論與密碼學(xué)
10.1 內(nèi)容提要
10.2 例題精選
10.3 應(yīng)用案例
10.3.1 密碼系統(tǒng)與公開(kāi)密鑰
1O.3.2 單向陷門(mén)函數(shù)在公開(kāi)密鑰密碼系統(tǒng)中的應(yīng)用
10.4 習(xí)題解答
10.5 編程答案
附錄A 離散數(shù)學(xué)課程思政資料
A.1 數(shù)學(xué)與當(dāng)代科學(xué)技術(shù)
A.2 數(shù)學(xué)與國(guó)防
A.3 數(shù)學(xué)與國(guó)民經(jīng)濟(jì)
A.4 數(shù)學(xué)與文化教育
A.5 數(shù)學(xué)推動(dòng)現(xiàn)代科技（以華為為例）
A.6 數(shù)學(xué)基礎(chǔ)是至關(guān)重要的（王選院士）
A.7 人工智能的10種“新數(shù)學(xué)”
A.8 算法及其所解決的問(wèn)題
A.9 算法數(shù)學(xué)藝術(shù)
A.10 世界因數(shù)學(xué)而改變
A.11 名人論數(shù)學(xué)——數(shù)學(xué)的本質(zhì)
A.12 離散數(shù)學(xué)歷史注記
參考文獻(xiàn)