離散數(shù)學(xué)實(shí)驗(yàn)與習(xí)題解析

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