離散數學

1　數理邏輯
　1.1　命題、聯結詞與公式
　習題1.1　
　1.2　公式的等價與蘊含
　習題1.2　
　1.3　公式的主范式
　習題1.3
　1.4　推理理論
　習題1.4
　1.5　謂詞邏輯
　習題1.5
2　集合、關系和函數
　2.1　集合和集合的運算
　習題2.1
　2.2　關系
　習題2.2
　2.3　等價關系和集合的劃分
　習題2.3
　2.4　序關系和哈斯圖
　習題2.4
　2.5　函數
　習題2.5
3　代數結構
　3.1　代數系統(tǒng)
　習題3.1
　3.2　半群和獨異點
　習題3.2
　3.3　群與子群
　習題3.3
　3.4　環(huán)與域
　習題3.4
　3.5　格、子格與布爾代數
　習題3.5
4　圖論
　4.1　圖的基本概念
　習題4.1
　4.2　圖的連通性
　習題4.2
　4.3　圖的矩陣表示
　習題4.3
　4.4　樹、生成樹、有向樹及其應用
　習題4.4
　4.5　歐拉圖、哈密頓圖、平面圖
　習題4.5
參考答案
參考文獻