離散數學（第2版）

第1章 緒論
1.1 離散數學的研究對象
1.2 離散數學的主要內容
1.3 學習離散數學的方法
第2章 數理邏輯
2.1 命題
2.1.1 命題的概念
2.1.2 命題的表示
2.2 命題聯(lián)結詞
2.2.1 聯(lián)結詞的定義
2.2.2 命題邏輯中聯(lián)結詞的最小集
2.3 命題的合式公式
2.3.1 合式公式
2.3.2 語句的符號化
2.4 真值表. 永真式和永假式
2.4.1 真值表
2.4.2 永真式和永假式
2.5 公式的等價和蘊含
2.5.1 公式的等價
2.5.2 公式的蘊含
2.6 公式的主范式
2.6.1 主析取范式
2.6.2 主合取范式
2.7 命題演算的推理理論
2.7.1 有效推理的概念
2.7.2 有效推理的方法
2.8 命題邏輯和二值邏輯器件
2.9 一階謂詞邏輯
2.10 命題函數和個體變量及量詞
2.10.1 命題函數
2.10.2 量詞
2.11 謂詞公式
2.11.1 謂詞公式
2.11.2 變量的約束和替換
2.11.3 謂詞演算中的等價與蘊含
2.12 謂詞演算的推理理論
習題
第3章 集合和關系
3.1 集合和集合的運算
3.1.1 集合的基本概念
3.1.2 集合的運算
3.1.3 集合運算中的恒等式
3.1.4 序偶和笛卡爾積
3.2 關系
3.2.1 關系及其表示法
3.2.2 幾種特殊的關系
3.2.3 關系的運算
3.3 等價關系和集合的劃分
3.3.1 等價關系
3.3.2 等價關系與劃分
3.4 序關系和哈斯圖
3.4.1 序關系
3.4.2 偏序關系的哈斯圖
3.4.3 偏序集中的某些特殊元素
3.5 函數及其運算
3.5.1 函數的概念
3.5.2 函數的復合
3.5.3 逆函數
習題
第4章 數函數和遞推關系
4.1 數函數概念
4.2 數函數的基本運算
4.3 數函數的母函數
4.4 遞推關系
4.4.1 常系數線性遞推關系
4.4.2 用母函數求解數函數的通式
習題
第5章 圖論
5.1 圖的基本概念和術語
5.2 路和回路
5.3 圖的矩陣表示
5.4 樹和生成樹
5.4.1 無向樹的概念
5.4.2 最小生成樹
5.5 有向樹及其應用舉例
5.5.1 有向樹的概念
5.5.2 根樹的一個應用舉例
5.6 歐拉圖與哈密頓圖
5.6.1 歐拉圖
5.6.2 歐拉定理的一個應用舉例
5.6.3 哈密頓圖
5.7 最短路徑與最長路徑問題
5.7.1 最短路徑
5.7.2 最長路徑
5.8 平面圖
習題
第6章 代數系統(tǒng)
6.1 運算和代數系統(tǒng)
6.1.1 運算的概念
6.1.2 運算的性質
6.2 半群和獨異點
6.3 群和子群
6.3.1 群的概念
6.3.2 子群的概念
6.4 阿貝爾群和循環(huán)群
6.4.1 阿貝爾（Abel）群
6.4.2 循環(huán)群
6.5 置換群和伯恩賽德定理
6.5.1 置換群
6.5.2 伯恩賽德（Burnside）定理
6.6 陪集和正規(guī)子群
6.7 拉格朗日定理
6.8 同態(tài). 同構和同余
6.8.1 同態(tài)和同構
6.8.2 同余關系和同態(tài)
6.9 環(huán)和域
習題
第7章 格與布爾代數
7.1 偏序集. 格和格代數
7.1.1 偏序和格
7.1.2 對偶原理
7.1.3 格的初等性質
7.1.4 格與代數系統(tǒng)的對應
7.2 有補格和分配格
7.3 布爾代數
7.4 布爾表達式
7.5 布爾函數的表示及極小化
7.5.1　布爾函數的表示法
7.5.2　布爾函數的極小化
習題
參考文獻