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

第一章 數(shù)理邏輯
1.1 命題
1.2 重言式
1.3 范式
1.4 聯(lián)結(jié)詞的擴充與歸約
1.5 推理規(guī)則和證明方法
1.6 謂詞和量詞
1.7 謂詞演算的永真公式
1.8 謂詞演算的推理規(guī)則
第二章 集合
2.1 集合論的基本概念
2.2 集合上的運算
2.3 歸納法和自然數(shù)
2.4 語言上的運算
2.5 集合的笛卡兒乘積
第三章 二元關(guān)系
3.1 基本概念
3.2 關(guān)系的合成
3.3 關(guān)系上的閉包運算
3.4 次序關(guān)系
3.5 等價關(guān)系和劃分
第四章 函數(shù)
4.1 函數(shù)的基本概念
4.2 特殊函數(shù)類
4.3 逆函數(shù)
第五章 無限集合
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 半群和獨異點
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 運輸網(wǎng)絡(luò)
參考文獻