離散數學

第一章　命題邏輯
引言
1-1　命題
1-2　命題演算
1-3　命題范式和判定問題
1-4　命題演算的推理理論
第二章　謂詞邏輯
引言
2-1　謂詞演算
2-2　謂詞演算的永真式
2-3　謂詞演算的推理理論
第三章　集　合
引言
3-1　集合的基本概念
3-2　集合代數
3-3　笛卡兒乘積
第四章　二元關系
引言
4-1　關系
4-2　等價關系
4-3　關系的合成
第五章　函　數
引言
5-1　函數的基本性質
5-2　幾種重要函數
5-3　反函數
5-4　置換
5-5　二元運算
第六章　代數系統(tǒng)
引言
6-1　代數結構
6-2　代數系統(tǒng)的實例
6-3　同態(tài)和同構
6-4　同余關系
6-5　商代數
6-6　積代數
第七章　圖　論
引言
7-1　圖論的基本概念
7-2　圖的矩陣表示
7-3　歐拉圖與哈密頓圖
7-4　特殊圖