內容簡介
《離散數學基礎及實用算法》包含豐富的算法、大量的套用實例，在詳細解釋原始碼的同時，為讀者進一步自主開發提供了便利。
《離散數學基礎及實用算法》可以作為普通高等學校、計算機、信息科學或其他相關專業本、專科教材，同時，可供科技人員、教學人員以及研究生參考。將離散數學理論教學與算法實現結合。將多種算法和數據結構有機結合。將離散數學理論與套用結合。通俗易懂、循序漸進地給出算法的實現。
圖書目錄
第1篇 數理邏輯及實用算法
第1章 命題邏輯
1.1 命題的基本概念
1.2 命題聯結詞
1.3 命題公式與翻譯
1.4 真值表與等價公式
1.5 重言式與蘊含式
1.6 其他聯結詞
1.7 對偶與範式
1.8 命題演算的推理理論
第2章 謂詞邏輯
2.1 謂詞的概念與表示
2.2 謂詞公式與翻譯
2.3 變元的約束
2.4 謂詞公式的等價式與蘊含式
2.5 謂詞公式的範式
2.6 謂詞演算的推理理論
第3章 數理邏輯中的實用算法
3.1 命題公式的真值表算法
3.2 命題公式的主析(合)取範式算法山
第2篇 集合與關係及實用算法
第4章 集合與關係
4.1 集合的基本概念
4.2 集合的運算
4.3 序偶與笛卡爾積
4.4 關係及其表示
4.5 關係的性質
4.6 複合關係和逆關係
4.7 關係的閉包運算
4.8 集合的劃分與覆蓋
4.9 等價關係與等價類
4.10 相容關係與相容類
4.11 偏序關係與偏序集
第5章 函式
5.1 函式的概念
5.2 逆函式和複合函式
5.3 基數的概念
5.4 基數的比較
第6章 集合與關係中的實用算法
6.1 集合的基本運算算法
6.2 集合的冪集算法
6.3 關係的閉包運算算法
6.4 等價關係和等價類算法
第3篇 代數系統及實用算法
第7章 代數系統
7.1 代數系統的引入
7.2 運算及其性質
7.3 半群
7.4 群與子群
7.5 阿貝爾群與循環群
7.6 陪集與拉格朗日定理
7.7 同態與同構
7.8 環與域
第8章 代數系統中的實用算法
8.1 代數系統性質判定算法
8.2 群的判定算法
第4篇 圖論及實用算法
第9章 圖論
9.1 圖的基本概念
9.2 路與迴路
9.3 圖的矩陣表示
9.4 歐拉圖和哈密爾頓圖
9.5 平面圖
9.6 對偶圖與著色
9.7 樹與生成樹
9.8 根樹及其套用
第10章 圖論中的實用算法
10.1 計算機中圖的表示
10.2 圖的連通性算法
10.3 歐拉圖的判定算法
10.4 哈夫曼樹的構造算法
10.5 最小生成樹算法
第11章 程式集成
11.1 系統總界面的開發
11.2 系統總界面算法
參考文獻
