《離散數學（第五版）》
第1章命題邏輯
1.1命題符號化及聯結詞
1.2命題公式及分類
1.3等值演算
1.4范式
1.5聯結詞全功能集
1.6組合電路
1.7推理理論
1.8題例分析
習題
第2章一階邏輯
2.1一階邏輯基本概念
2.2一階邏輯合式公式及解釋
2.3一階邏輯等值式與前束范式
2.4題例分析
習題
第3章集合的基本概念和運算
3.1集合的基本概念
3.2集合的基本運算
3.3集合中元素的計數
3.4題例分析
習題
第4章二元關系和函數
4.1集合的笛卡兒積與二元關系
4.2關系的運算
4.3關系的性質
4.4關系的閉包
4.5等價關系和偏序關系
4.6函數的定義和性質
4.7函數的復合和反函數
4.8題例分析
習題
第5章圖的基本概念
5.1無向圖及有向圖
5.2通路、回路和圖的連通性
5.3圖的矩陣表示
5.4*短路徑、關鍵路徑和著色
5.5題例分析
習題
第6章特殊的圖
6.1二部圖
6.2歐拉圖
6.3哈密頓圖
6.4平面圖
6.5題例分析
習題
第7章樹
7.1無向樹及生成樹
7.2根樹及其應用
7.3題例分析
習題
第8章組合分析初步
8.1加法法則和乘法法則
8.2基本排列組合的計數方法
8.3遞推方程的求解與應用
8.4題例分析
習題
第9章代數系統簡介
9.1二元運算及其性質
9.2代數系統
9.3幾個典型的代數系統
9.4題例分析
習題
第10章形式語言和自動機初步
10.1形式語言和形式文法
10.1.1字符串和形式語言
10.1.2形式文法
10.1.3形式文法的分類
10.2有窮自動機
10.2.1基本概念
10.2.2非確定型有窮自動機
10.2.3帶ε轉移的非確定型有窮自動機
10.3有窮自動機和正則文法的等價性
10.4圖靈機
10.4.1圖靈機的基本模型
10.4.2用圖靈機計算函數
10.5題例分析
習題