離散數學（第二版）

第一章  命題邏輯
1.1  命題符號分及聯結詞
1.2  命題公式及分類
1.3  等值演算
1.4  聯結詞全功能集
1.5  對偶與范式
1.6  推理理論
1.7  題例分析
習題
第二章  一階邏輯
2.1  一階邏輯基本概念
2.2  一階邏輯合式公式及解釋
2.3  一階邏輯等值式
2.4  一階邏輯推理理論
2.5  題例分析
習題
第三章  集合的基本概念和運算
3.1  集合的基本概念
3.2  集合的基本運算
3.3  集合中元素的計數
3.4  題例分析
習題
第四章  二元關系和函數
4.1  集合的笛卡兒積與二元關系
4.2  關系的運算
4.3  關系的性質
4.4  關系的閉包
4.5  等價關系和偏序關系
4.6  函數的定義和性質
4.7  函數的復合和反函數
4.8  題例分析
習題
第五章  代數系統(tǒng)的一般性質
5.1  二元運算及其性質
5.2  代數系統(tǒng)及共子代數和積代數
5.3  代數系統(tǒng)的同態(tài)與同構
5.4  題例分析
習題
第六章  幾個典型的代數系統(tǒng)
6.1  半群與群
6.2  環(huán)與域
6.3  格與布爾代數
6.4  題例分析
習題
第七章  圖的基本概念
7.1  無向圖及向圖
7.2  通路、回路、圖的連通性
7.3  圖的矩陣表示
7.4  最短徑及關鍵路徑
7.5  題例分析
習題
第八章  一些特殊的圖
8.1  二部圖
8.2  歐拉圖
8.3  哈密爾頓圖
8.4  平面圖
8.5  題例分析
習題
第九章  樹
9.1  無向樹及生成樹
9.2  根樹及其應用
9.3  題例分析
習題
第十章  組合分析初步
10.1  加法法則和乘法法則
10.2  基本排列組合的計數方法
10.3  題例分析
習題
第十一章  形式語言和自動機初步
11.1  形式語言和形式文法
11.2  有窮自動機
11.3  有窮自動機和正則文法的等價法
11.4  圖靈機
習題