第一篇 離散
第1章 集合論的應用和實驗
1.1 集合論在計算機科學中的應用
1.2 集合的計算機表示
1.2.1 數(shù)組法
1.2.2 鏈表法
1.2.3 位串法
1.3 集合論實驗
1.3.1 實驗目的及要求
1.3.2 實驗內容及步驟
第2章 數(shù)理邏輯的應用和實驗
2.1 數(shù)理邏輯在計算機科學中的應用
2.2 邏輯的計算機表示
2.2.1 命題邏輯的計算機表示
2.2.2 謂詞邏輯的計算機表示
2.3 數(shù)理邏輯實驗
2.3.1 實驗目的及要求
2.3.2 實驗內容及步驟
第3章 關系的應用和實驗
3.1 關系在計算機科學中的應用
3.2 關系的計算機表示
3.3 關系實驗
3.3.1 實驗目的及要求
3.3.2 實驗內容及步驟
第4章 圖論的應用和實驗
4.1 圖論在計算機科學中的應用
4.2 圖的計算機表示
4.2.1 數(shù)組法
4.2.2 鏈表法
4.3 圖論實驗
第5章 代數(shù)系統(tǒng)應用和實驗
5.1 代數(shù)系統(tǒng)在計算機科學中的應用
5.2 代數(shù)系統(tǒng)的計算機表示
5.3 代數(shù)系統(tǒng)實驗
5.3.1 實驗目的及要求
5.3.2 實驗內容及步驟
第6章 課程設計實驗
6.1 課程設計實驗一 Prolog與邏輯推理
6.1.1 基本Prolog使用
6.1.2 典型邏輯問題
6.1.3 課程設計
6.2 課程設計實驗二 簡單數(shù)據(jù)庫設計
6.2.1 關系數(shù)據(jù)庫基本原理
6.2.2 簡單數(shù)據(jù)庫系統(tǒng)設計
6.2.3 課程設計
6.3 課程設計實驗三 巡回售貨員問題和中國郵路問題
6.3.1 巡回售貨員問題
6.3.2 中國郵路問題
6.3.3 課程設計
6.4 課程設計實驗四糾錯碼設計
6.4.1 糾錯碼與群碼
6.4.2 群碼的生成
6.4.3 課程設計
6.5 課程設計實驗五離散建模
6.5.1 MATLAB基本使用
6.5.2 最小生成樹問題
6.5.3 銀行排隊問題
6.5.4 課程設計
6.6 課程設計實驗六游戲設計基礎
6.6.1 路徑搜索算法
6.6.2 有限狀態(tài)機
6.6.3 課程設計
第二篇 離散數(shù)學習題解析
第7章 主講教材習題解析
參考文獻