第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章 函數(shù)
4.1 內容提要
4.2 例題精選
4.3 應用案例
4.3.1 “逢黑必反”魔術
4.3.2 生成函數(shù)在解決漢諾塔問題中的應用
4.4 習題解答
4.5 編程答案
第5章 組合計數(shù)
5.1 內容提要
5.2 例題精選
5.3 應用案例
5.3.1 大使館通信的碼字數(shù)
5.3.2 條條道路通羅馬
5.4 習題解答
5.5 編程答案
第6章 圖論
6.1 內容提要
6.2 例題精選
6.3 應用案例
6.3.1 網絡爬蟲
6.3.2 “讀心術”魔術
6.3.3 高度互聯(lián)世界的行為原理
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章 代數(shù)系統(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章 數(shù)論與密碼學
10.1 內容提要
10.2 例題精選
10.3 應用案例
10.3.1 密碼系統(tǒng)與公開密鑰
1O.3.2 單向陷門函數(shù)在公開密鑰密碼系統(tǒng)中的應用
10.4 習題解答
10.5 編程答案
附錄A 離散數(shù)學課程思政資料
A.1 數(shù)學與當代科學技術
A.2 數(shù)學與國防
A.3 數(shù)學與國民經濟
A.4 數(shù)學與文化教育
A.5 數(shù)學推動現(xiàn)代科技(以華為為例)
A.6 數(shù)學基礎是至關重要的(王選院士)
A.7 人工智能的10種“新數(shù)學”
A.8 算法及其所解決的問題
A.9 算法數(shù)學藝術
A.10 世界因數(shù)學而改變
A.11 名人論數(shù)學——數(shù)學的本質
A.12 離散數(shù)學歷史注記
參考文獻