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

第1章 集合論初步
1.1 集合的概念
1.2 集合的運算
1.3 有窮集合的計數
第2章 關系
2.1 集合的笛卡兒積和二元關系的概念
2.2 二元關系的特性
2.3 二元關系運算
2.4 等價關系和相容關系
2.5 序關系
2.6 函數
第3章 代數系統(tǒng)
3.1 運算和代數系統(tǒng)
3.2 半群與群
3.3 子半群和子群
3.4 循環(huán)群
3.5 置換群
3.6 同態(tài)和同構初步
3.7 環(huán)和域
第4章 格和布爾代數
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 符號表
參考文獻