離散數(shù)學簡明教程（21世紀高職高專規(guī)劃教材）

第1章 集合論初步
1.1 集合的概念
1.2 集合的運算
1.3 有窮集合的計數(shù)
第2章 關(guān)系
2.1 集合的笛卡兒積和二元關(guān)系的概念
2.2 二元關(guān)系的特性
2.3 二元關(guān)系運算
2.4 等價關(guān)系和相容關(guān)系
2.5 序關(guān)系
2.6 函數(shù)
第3章 代數(shù)系統(tǒng)
3.1 運算和代數(shù)系統(tǒng)
3.2 半群與群
3.3 子半群和子群
3.4 循環(huán)群
3.5 置換群
3.6 同態(tài)和同構(gòu)初步
3.7 環(huán)和域
第4章 格和布爾代數(shù)
4.1 格
4.2 格的分類
第5章 命題邏輯
5.1 命題符號化
5.2 等值演算和范式
5.3 邏輯推理
5.4 例題與分析
第6章 謂詞邏輯
6.1 謂詞和量詞
6.2 謂詞邏輯公式及解釋
6.3 等價值蘊涵和前束范式
6.4 謂詞的邏輯推理理論
第7章 圖論初步
7.1 圖的基本概念
7.2 通路、回路和連能性
7.3 圖的矩陣表示
第8章 典型的圖及其應用
8.1 無向樹和生成樹
8.2 有向樹及其應用
8.3 歐拉圖和哈密頓圖
8.4 平面圖和圖的著色
附錄A 部分習題參考答案
附錄B 符號表
參考文獻