內容簡介
離散數學導論 《離散數學導論(第4版)》可作為高等學校計算機及相關專業離散數學課程的教材或參考書，也可供從事計算機工作的科研人員、工程技術人員以及其他有關人員參考。
圖書目錄
第一篇緒言
第二篇集合論
第一章集合論初步
1.1集合的基本概念
1.2集合代數
1.3冪集
習題1
第二章關係
2.1關係的預備知識——n元有序組與
笛卡兒乘積
2.2關係的基本概念
2.3關係的運算
2.4關係的重要性質
2.5關係上的閉包運算
2.6次序關係
2.7相容關係
2.8等價關係
習題2
第三章函式
3.1函式的基本概念
3.2複合函式、反函式、多元函式
3.3常用函式介紹
習題3
第四章有限集與無限集
4.1有限集與無限集基本概念
4.2有限集
4.3無限集的性質
習題4
第二篇複習指導
第二篇總複習題
第三篇代數系統
第五章代數系統基礎
5.1代數系統的一般概念
5.2代數系統常見的一些性質
5.3同構與同態
5.4常用的代數系統分類
習題5
第六章群論
6.1半群與單元半群
6.2群
習題6
第七章環論與格論
7.1環論
7.2格論
習題7
第三篇複習指導
第三篇總複習題
第四篇圖論
第八章圖論原理
8.1圖的基本概念
8.2通路、迴路與連通性
8.3歐拉圖
8.4哈密頓圖
8.5圖的矩陣表示法
習題8
第九章樹
9.1樹及其基本性質
9.2有向樹
9.3二元樹
9.4生成樹
習題9
第四篇複習指導
第四篇總複習題
第五篇數理邏輯
第十章命題邏輯
10.1命題與命題聯結詞
10.2命題變元與命題公式
10.3重言式
10.4命題邏輯的基本等式及等式推理
10.5命題邏輯的基本蘊涵式及蘊涵推理
10.6範式
10.7命題聯結詞的擴充與歸約
習題10
第十一章謂詞邏輯
11.1謂詞與個體
11.2量詞
11.3函式
11.4謂詞邏輯公式
11.5自由變元與約束變元
11.6謂詞邏輯的永真公式
11.7謂詞邏輯的等式推理
11.8謂詞邏輯的蘊涵推理
11.9謂詞邏輯範式
習題11
第十二章數理邏輯的公理化理論
12.1公理化理論的基本思想
12.2命題邏輯、謂詞邏輯的公理化理論
12.3數理邏輯套用公理系統
12.4謂詞邏輯的自動定理證明
習題12
第五篇複習指導
第五篇總複習題
第六篇離散建模
第十三章離散建模概念與方法
13.1離散建模概念
13.2離散建模方法
13.3離散建模方法的五個步驟
習題13
第十四章離散建模套用實例
14.1數字邏輯電路中的離散建模
14.2電話線路故障影響分析中的離散建模
14.3資料庫中關係數據模型的離散建模
14.4數據通信中糾錯碼的離散建模
習題14
附錄一常用符號一覽表
附錄二中英文名詞對照表
參考文獻
