離散數學實驗與習題解析

《離散數學實驗與習題解析》是國家精品課程“離散數學”主講教材《離散數學及其套用》的配套實驗與習題指導書。

基本介紹

• 書名：離散數學實驗與習題解析
• 作者：傅彥
• ISBN：9787040224696
• 定價：￥22.00
• 出版社：高等教育出版社
• 出版時間：2007-11-1
• 開本：16開

內容簡介

《離散數學實驗與習題解析》根據離散數學課程教學的基本要求，為計算機以及相關專業的本、專科學生更好地完成離散數學課程的課後練習和套用實踐而編寫。全書分為兩大部分，第一部分是離散數學套用及實驗，幫助學生進行課程實踐，培養對離散數學課程的興趣和動手能力。第二部分為習題及其解答。

本書可作為高等學校計算機及相關專業離散數學課程學習指導及實驗用書，也可供對離散數學感興趣的人參考使用。

目錄

第一篇 離散數學套用及實驗

第1章 集合論的套用和實驗

1.1 集合論在計算機科學中的套用

1.2 集合的計算機表示

1.2.1 數組法

1.2.2 鍊表法

1.2.3 位串法

1.3 集合論實驗

1.3.1 實驗目的及要求

1.3.2 實驗內容及步驟

第2章 數理邏輯的套用和實驗

2.1 數理邏輯在計算機科學中的套用

2.2 邏輯的計算機表示

2.2.1 命題邏輯的計算機表示

2.2.2 謂詞邏輯的計算機表示

2.3 數理邏輯實驗

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 數組法

4.2.2 鍊表法

4.3 圖論實驗

第5章 代數系統套用和實驗

5.1 代數系統在計算機科學中的套用

5.2 代數系統的計算機表示

5.3 代數系統實驗

5.3.1 實驗目的及要求

5.3.2 實驗內容及步驟

第6章 課程設計實驗

6.1 課程設計實驗一Prolog與邏輯推理

6.1.1 基本Prolog使用

6.1.2 典型邏輯問題

6.1.3 課程設計

6.2 課程設計實驗二簡單資料庫設計

6.2.1 關係資料庫基本原理

6.2.2 簡單資料庫系統設計

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 有限狀態機

6.6.3 課程設計

第二篇 離散數學習題解析

第7章 主講教材習題解析

參考文獻