離散數(shù)學(xué)

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