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

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