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

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