離散數(shù)學(xué)

第一章命題邏輯
1.1命題及其表示法
1.2命題等價(jià)
1.3重言式與重言蘊(yùn)含式
1.4對(duì)偶與范式
1.5命題演算的推理理論
習(xí)題1
第二章謂詞邏輯
2.1謂詞和量詞
2.2謂詞公式
2.3公式等價(jià)與重言蘊(yùn)含式
2.4前束范式
2.5謂詞演算的推理理論
習(xí)題2
第三章集合
3.1集合及集合間的關(guān)系
3.2集合代數(shù)
3.3冪集與分劃
3.4笛卡爾積
習(xí)題3
第四章關(guān)系
4.1關(guān)系
4.2關(guān)系的運(yùn)算
4.3關(guān)系的性質(zhì)
4.4等價(jià)關(guān)系
4.5偏序
4.6相容關(guān)系
習(xí)題4
第五章函數(shù)
5.1函數(shù)
5.2集合的基數(shù)
第六章群
6.1運(yùn)算
6.2半群與獨(dú)異點(diǎn)
6.3群
6.4子群及其陪集
習(xí)題6
第七章環(huán)和域
7.1環(huán)
7.2子環(huán)和理想
7.3域
習(xí)題7
第八章格與布爾代數(shù)
8.1格的基本概念
8.2子格
8.3特殊的格
8.4布爾代數(shù)
習(xí)題8
第九章代數(shù)系統(tǒng)
9.1代數(shù)系統(tǒng)
9.2同態(tài)與同構(gòu)
9.3正規(guī)子群與滿(mǎn)同態(tài)
9.4理想與滿(mǎn)同態(tài)
習(xí)題9
第十章圖論
10.1圖與子圖
10.2開(kāi)路、回路與連通
10.3圖的矩陣表示
10.4歐拉圖和哈密頓圖
10.5偶圖和平面圖
10.6樹(shù)、根樹(shù)
習(xí)題10
主要參考文獻(xiàn)