書籍信息,內容簡介,圖書目錄,
書籍信息
作者：陳業綱
ISBN 號 ：9787564365073
圖書定價：￥35.00
出版時間：2018-11-01
內容簡介
本書為教材。主要講述了數理邏輯，集合與關係、圖論、代數系統等內容，分為數理邏輯、圖、關係、函式與集合、樹、代數系統、遞推方程等七個章節。“離散數學”課程本身的理論性較強，通過實驗實踐內容的訓練，可以突出邏輯性思維訓練的特徵,目的是提高學生學習的興趣及實際動手的能力。為了幫助學生更好地學習本課程，理解和掌握所學基本概念和方法，為整個計算機專業學習打好基礎，要求運用所學知識，上機解決一些典型問題，書中所有代碼均在VC++環境下調試通過。本書的編寫力求做到：理論與算法並重，去掉冗長的證明，保留簡潔、有特色、能體現典型的數學思想和方法，強調算法的基本思想和計算機實現，具有較高的實踐指導意義和針對性。
圖書目錄
第1章數理邏輯 1
1.1真值表、主析取範式和主合取範式 1
1.2推理 11
第2章圖 16
2.1圖的基本概念 17
2.2二分圖、歐拉圖和哈密頓圖 24
2.3 最短路徑、關鍵路徑 39
2.4廣度優先、深度優先算法 55
2.5橋、割點 60
第3章關係 66
3.1關係的性質 66
3.2偏序集極小極大元最小最大元 75
3.3矩陣與關係閉包 81
3.4布爾矩陣交並積 86
3.5關係的傳遞閉包 90
3.6最小等價關係 97
第4章函式與集合 103
4.1單滿射一一映射 103
4.2集合的運算 110
4.3並查集 112
4.4排列組合 115
4.5商集 124
4.6格雷碼 133
4.7數字拆解 135
第5章樹 139
5.1表達式運算 139
5.2樹的判定和遍歷 144
5.3最小生成樹 155
5.4哈夫曼樹 165
第6章代數系統 167
6.1群的判斷 167
6.2格 169
第7章遞推方程的求解 174
7.1遞歸 174
7.2遞推數列 176
參考文獻 189
1.1真值表、主析取範式和主合取範式 1
1.2推理 11
第2章圖 16
2.1圖的基本概念 17
2.2二分圖、歐拉圖和哈密頓圖 24
2.3 最短路徑、關鍵路徑 39
2.4廣度優先、深度優先算法 55
2.5橋、割點 60
第3章關係 66
3.1關係的性質 66
3.2偏序集極小極大元最小最大元 75
3.3矩陣與關係閉包 81
3.4布爾矩陣交並積 86
3.5關係的傳遞閉包 90
3.6最小等價關係 97
第4章函式與集合 103
4.1單滿射一一映射 103
4.2集合的運算 110
4.3並查集 112
4.4排列組合 115
4.5商集 124
4.6格雷碼 133
4.7數字拆解 135
第5章樹 139
5.1表達式運算 139
5.2樹的判定和遍歷 144
5.3最小生成樹 155
5.4哈夫曼樹 165
第6章代數系統 167
6.1群的判斷 167
6.2格 169
第7章遞推方程的求解 174
7.1遞歸 174
7.2遞推數列 176
參考文獻 189
