前言
第l章 數(shù)理邏輯
1．1 命題與邏輯聯(lián)結詞
1．2 命題公式
1．3 真值表和等價公式
1．4蘊含式
1．5 其他聯(lián)結詞
1．6 對偶與范式
1．7 推理理論

第2章 謂詞邏輯
2．1 謂詞的概念與表示
2．2 命題函數(shù)與量詞
2．3 謂詞公式與變元的約束
2．4 謂詞演算的等價式與蘊含式
2．5 謂詞演算的推理理論

第3章 集合代數(shù)
3．1 集合的基本概念
3．2 集合的計數(shù)

第4章 二元關系
4．1 序偶與笛卡爾積
4．2 二元關系
4．3 關系的運算
4．4 關系的性質
4．5 關系的閉包運算
4．6 等價關系與劃分
4．7 偏序關系

第5章函數(shù)
5．1函數(shù)的概念
5．2函數(shù)的復合與反函數(shù)

第6章 代數(shù)結構
6．1 二元運算及其性質
6．2 代數(shù)系統(tǒng)
6．3 半群
6．4 群
6．5 子群
6．6 陪集與格拉朗日定理
6．7 群的同態(tài)與同構
6．8 環(huán)與域

第7章 格與布爾代數(shù)
7．1 格的概念
7．2 分配格與有補格
7．3布爾代數(shù)

第8章 圖論
8．1 圖的基本概念
8．2 路徑與回路
8．3 圖的矩陣表示
8．4 歐拉圖與哈密爾頓圖
8．5 二部圖
8．6 平面圖
8．7 樹
符號表
參考文獻