離散數學教程

 第一編  集合論
 第一章  集合
 1. 1  預備知識
 1. 2  集合的概念及集合之間的關系
 1. 3  集合的運算
 1. 4  基本的集合恒等式
 1. 5  集合列的極限
 習題一
 第二章  二元關系
 2. 1  有序對與卡氏積
 2. 2  二元關系
 2. 3  關系矩陣和關系圖
 2. 4  關系的性質
 2. 5  二元關系的冪運算
 2. 6  關系的閉包
 2. 7  等價關系和劃分
 2. 8  序關系
 習題二
 第三章  函數
 3. 1  函數的基本概念
 3. 2  函數的性質
 3. 3  函數的合成
 3. 4  反函數
 習題三
 第四章  自然數
 4. 1  自然數的定義
 4. 2  傳遞集合
 4. 3  自然數的運算
 4. 4  N上的序關系
 習題四
 第五章  基數(勢)
 5. 1  集合的等勢
 5. 2  有窮集合與無窮集合
 5. 3  基數
 5. 4  基數的比較
 5. 5  基數運算
 習題五
 *第六章  序數
 6. 1  關于序關系的進一步討論
 6. 2  超限遞歸定理
 6. 3  序數
 6. 4  關于基數的進一步討論
 習題六
 第二編  圖    論
 第七章  圖
 7. 1  圖的基本概念
 7. 2  通路與回路
 7. 3  無向圖的連通性
 7. 4  無向圖的連通度
 7. 5  有向圖的連通性
 習題七
 第八章  歐拉圖與哈密頓圖
 8. 1  歐拉圖
 8. 2  哈密頓圖
 習題八
 第九章  樹
 9. 1  無向樹的定義及性質
 9. 2  生成樹
 9. 3  環(huán)路空間
 9. 4  斷集空間
 9. 5  根樹
 習題九
 第十章  圖的矩陣表示
 10. 1  關聯矩陣
 10. 2  鄰接矩陣與相鄰矩陣
 習題十
 第十一章  平面圖
 11. 1  平面圖的基本概念
 11. 2  歐拉公式
 11. 3  平面圖的判斷
 11. 4  平面圖的對偶圖
 11. 5  外平面圖
 11. 6  平面圖與哈密頓圖
 習題十一
 第十二章  圖的著色
 12. 1  點著色
 12. 2  色多項式
 12. 3  地圖的著色與平面圖的點著色
 12. 4  邊著色
 習題十二
 第十三章  支配集. 覆蓋集. 獨立集與匹配
 13. 1  支配集. 點覆蓋集. 點獨立集
 13. 2  邊覆蓋集與匹配
 13. 3  二部圖中的匹配
 習題十三
 第十四章  帶權圖及其應用
 14. 1  最短路徑問題
 14. 2  關鍵路徑問題
 14. 3  中國郵遞員問題
 14. 4  最小生成樹
 14. 5  最優(yōu)樹
 14. 6  貨郎擔問題
 習題十四
 第三編  代數結構
 第十五章  代數系統(tǒng)
 15. 1  二元運算及其性質
 15. 2  代數系統(tǒng). 子代數和積代數
 15. 3  代數系統(tǒng)的同態(tài)與同構
 15. 4  同余關系和商代數
 15. 5    代數
 習題十五
 第十六章  半群與獨異點
 16. 1  半群與獨異點
 16. 2  有窮自動機
 習題十六
 第十七章  群
 17. 1  群的定義和性質
 17. 2  子群
 17. 3  循環(huán)群
 17. 4  變換群和置換群
 17, 5  群的分解
 17. 6  正規(guī)子群和商群
 17. 7  群的同態(tài)與同構
 17. 8  群的直積
 習題十七
 第十八章  環(huán)與域
 18. 1  環(huán)的定義和性質
 18. 2  子環(huán). 理想. 商環(huán)和環(huán)同態(tài)
 18. 3  有限域上的多項式環(huán)
 習題十八
 第十九章  格與布爾代數
 19. 1  格的定義和性質
 19. 2  子格. 格同態(tài)和格的直積
 19. 3  模格. 分配格和有補格
 19. 4  布爾代數
 習題十九
 第四編  組合數學
 第二十章  組合存在性定理
 20. 1  鴿巢原理和Ramsey定理
 20. 2  相異代表系
 習題二十
 第二十一章  基本的計數公式
 21. 1  兩個計數原則
 21. 2  排列和組合
 21. 3  二項式定理與組合恒等式
 21. 4  多項式定理
 習題二十一
 第二十二章  組合計數方法
 22. 1  遞推方程的公式解法
 22. 2  遞推方程的其他解法
 22. 3  生成函數的定義和性質
 22. 4  生成函數與組合計數
 22. 5  指數生成函數與多重集的排列問題
 22. 6  Catalan數與Stirling數
 習題二十二
 第二十三章  組合計數定理
 23. 1  包含排斥原理
 23. 2  對稱篩公式及應用
 23. 3  Burnside引理
 23. 4  Polya定理
 習題二十三
 第二十四章  組合設計與編碼
 24. 1  拉丁方
 24. 2  t-設計
 24. 3  編碼
 24. 4  編碼與設計
 習題二十四
 第二十五章  組合最優(yōu)化問題
 25. 1  組合優(yōu)化問題的一般概念
 25. 2  網絡的最大流問題
 習題二十五
 第五編  數理邏輯
 第二十六章  命題邏輯
 26. 1  形式系統(tǒng)
 26. 2  命題和聯結詞
 26. 3  命題形式和真值表
 26. 4  聯結詞的完全集
 26. 5  推理形式
 26. 6  命題演算的自然推理形式系統(tǒng)N
 26. 7  命題演算形式系統(tǒng)戶
 26. 8  N與尸的等價性
 26. 9  賦值
 26. 10  可靠性. 和諧性與完備性
 習題二十六
 第二十七章  一階謂詞演算
 27. 1  一階謂詞演算的符號化
 27. 2  一階語言
 27. 3  一階謂詞演算的自然推演形式系統(tǒng)N
 27. 4  一階謂詞演算的形式系統(tǒng)K
 27. 5  N 與K 的等價性
 27. 6  K 的解釋與賦值
 27. 7  K  的可靠性與和諧性
 27. 8  K  的完全性
 習題二十七
 第二十八章  消解原理
 28. 1  命題公式的消解
 28. 2  Herbrand定理
 28. 3  代換與合一代換
 28. 4  一階謂詞公式的消解
 習題二十八
 第二十九章  直覺主義邏輯
 29. 1  直覺主義邏輯的直觀介紹
 29. 2  直覺主義的一階謂詞演算的自然推演形式系統(tǒng)
 29. 3  直覺主義一階謂詞演算形式系統(tǒng)IK
 29. 4  直覺主義邏輯的克里普克(Kripke)語義
 29. 5  直覺主義邏輯的完備性
 習題二十九
 附錄1  第一編與第二編符號注釋與術語索引
 附錄2  第三編與第四編符號注釋與術語索引
 附錄3  第五編符號注釋與術語索引
 參考書目和文獻
</font>