離散數(shù)學（本科）

第1篇 集合論
1 集合及其運算
1.1 集合的概念與表示
1.2 集合運算
本章小結(jié)
復習思考題
習題1（A）
習題1（B）
學習指導
2 關(guān)系與函數(shù)
2.1 關(guān)系的概念
2.2 關(guān)系的運算
2.3 二元關(guān)系的性質(zhì)
2.4 等價關(guān)系
2.5 序關(guān)系
2.6 函數(shù)的概念及性質(zhì)
本章小結(jié)
復習思考題
習題2（A）
習題2（B）
學習指導
第2篇 圖 論
3 圖的基本概念與性質(zhì)
3.1 圖的概念與性質(zhì)
3.2 圖的連通性
3.3 圖的矩陣表示與計算
3.4 最短路徑
本章小結(jié)
復習思考題
習題3（A）
習題3（B）
學習指導
4 幾種特殊圖
4.1 歐拉圖
4.2 漢密爾頓圖
4.3 平面圖
4.4 對偶圖與著色
本章小結(jié)
復習思考題
習題4（A）
習題4（B）
學習指導
5 樹及其應用
5.1 樹的定義及性質(zhì)
5.2 根樹及其應用
本章小結(jié)
復習思考題
習題5（A）
習題5（B）
學習指導
第3篇 數(shù)理邏輯
6 命題邏輯
6.1 命題的概念與表示
6.2 命題聯(lián)結(jié)詞
6.3 命題公式的翻譯與解釋
6.4 真值表與等價公式
6.5 重言式與蘊含式
6.6 范式
6.7 命題邏輯的推理理論
本章小結(jié)
復習思考題
習題6（A）
習題6（B）
學習指導
7 謂詞邏輯
7.1 謂詞的概念及表示
7.2 命題函數(shù)與量詞
7.3 謂詞公式的翻譯與解釋
7.4 變元的約束
7.5 謂詞演算的等價式與蘊含式
7.6 前束范式
7.7 謂詞演算的推理理論
本章小結(jié)
復習思考題
習題7（A）
習題7（B）
學習指導
參考文獻