第1章 緒論
§1．1 離散數學簡介
§1．2 離散數學的地位與作用

第2章 命題邏輯
§2．1 命題與聯結詞
2．1．1 命題的概念
2．1．2 命題聯結詞
2．1．3 描述實際問題
§2．2 命題公式及其賦值
2．2．1 命題公式
2．2．2 公式的解釋與真值表
2．2．3 命題公式的分類
§2．3 等值演算
2．3．1 常用等值式
2．3．2 等值演算的應用
§2．4 范式
2．4．1 范式的基本概念
2．4．2 主析取范式
2．4．3 主合取范式
2．4．4 主析取范式與主合取范式的意義
§2．5 命題邏輯推理
2．5．1 命題邏輯推理的基本概念
2．5．2 命題邏輯推理規則
2．5．3 形式證明方法
2．5．4 命題邏輯推理應用
小結
習題

第3章 謂詞邏輯
§3．1 謂詞邏輯概述
3．1．1 謂詞邏輯基本概念
3．1．2 描述實際問題
§3．2 謂詞公式與解釋
3．2．1 謂詞的合式公式
3．2．2 自由變元和約束變元
3．2．3 謂詞公式的解釋
3．2．4 謂詞公式的分類
§3．3 謂詞公式的等值演算
3．3．1 謂詞公式置換規則
3．3．2 變元換名規則
3．3．3 量詞等值式
3．3．4 謂詞公式的范式
§3．4 謂詞推理
3．4．1 謂詞邏輯推理規則
3．4．2 謂詞邏輯推理常見問題
3．4．3 謂詞邏輯推理的應用
小結
習題

第4章 集合論
§4．1 集合的表示和基本概念
4．1．1 集合與元素
4．1．2 集合的表示
4．1．3 集合的基本概念
§4．2 集合的運算
§4．3 集合的計數
4．3．1 有限集中元素的數量
4．3．2 容斥原理
4．3．3 鴿籠原理
小結
習題

第5章 二元關系
§5．1 二元關系的基本概念
5．1．1 有序對與有序n元組
5．1．2 笛卡爾積
5．1．3 二元關系的定義
5．1．4 二元關系的表示
§5．2 關系運算
5．2．1 關系的基本運算
5．2．2 關系運算相關定理
§5．3 關系的性質
5．3．1 關系的基本性質
5．3．2 性質的判斷方法
5．3．3 關系運算與關系的性質
§5．4 關系的閉包
5．4．1 關系閉包的概念
5．4．2 閉包運算方法
§5．5 等價關系
5．5．1 等價關系的概念
5．5．2 等價類
5．5．3 集合的劃分
§5．6 偏序關系
5．6．1 偏序關系的概念
5．6．2 哈斯圖
小結
習題
……

第6章 圖論

習題參考答案
參考文獻