離散數(shù)學(xué)（第二版）

第一章 數(shù)理邏輯
1.1 命題
1.2 重言式
1.3 范式
1.4 聯(lián)結(jié)詞的擴(kuò)充與歸約
1.5 推理規(guī)則和證明方法
1.6 謂詞和量詞
1.7 謂詞演算的永真公式
1.8 謂詞演算的推理規(guī)則
第二章 集合
2.1 集合論的基本概念
2.2 集合上的運(yùn)算
2.3 歸納法和自然數(shù)
2.4 語(yǔ)言上的運(yùn)算
2.5 集合的笛卡兒乘積
第三章 二元關(guān)系
3.1 基本概念
3.2 關(guān)系的合成
3.3 關(guān)系上的閉包運(yùn)算
3.4 次序關(guān)系
3.5 等價(jià)關(guān)系和劃分
第四章 函數(shù)
4.1 函數(shù)的基本概念
4.2 特殊函數(shù)類
4.3 逆函數(shù)
第五章 無(wú)限集合
5.1 可數(shù)和不可數(shù)集合
5.2 基數(shù)的比較
5.3 基數(shù)算術(shù)
第六章 代數(shù)
6.1 代數(shù)結(jié)構(gòu)
6.2 子代數(shù)
6.3 同態(tài)
6.4 同余關(guān)系
6.5 商代數(shù)和積代數(shù)
6.6 半群和獨(dú)異點(diǎn)
6.7 群
6.8 環(huán)和域
第七章 格與布爾代數(shù)
7.1 格
7.2 格是代數(shù)系統(tǒng)
7.3 特殊的格
7.4 布爾代數(shù)
第八章 圖論
8.1 圖的基本概念
8.2 路徑和回路
8.3 圖的矩陣表示
8.4 二部
8.5 平面圖
8.6 樹
8.7 有向樹
8.8 運(yùn)輸網(wǎng)絡(luò)
參考文獻(xiàn)