離散數(shù)學及其應(yīng)用（大學數(shù)學系列教材）

第1章　數(shù)理邏輯
　1.1　命題演算
　1.2　重言式
　1.3　范式
　1.4　編譯技術(shù)中波蘭式與逆波蘭式的表示
　1.5　命題演算的推理理論
　1.6　謂詞演算
　1.7　謂詞演算的推理理論
　1.8　謂詞演算在人工智能中的應(yīng)用
第2章　集合論
　2.1　集合論的基本概念
　2.2 集合的運算及文氏圖
　2.3 關(guān)系和偏序
2.4 函數(shù)
2.5 遞歸函數(shù)
第3章 抽象代數(shù)
3.1 代數(shù)系統(tǒng)及其運算
3.2 同構(gòu)和同態(tài)
3.3 同余
3.4 積代數(shù)
　3.5　半群和獨異點
　3.6　群
　3.7　群碼與糾錯碼
弟四章　格和布爾代數(shù)
　4.1　格的概念
　4.2　格的性質(zhì)　
　4.3　格是一種代數(shù)系統(tǒng)
　4.4　子格、直積的同態(tài)
　4.5　幾種特殊的格
　4.6　布爾代數(shù)
　4.7　布爾表達式和布爾函數(shù)
　4.8　布爾代數(shù)在邏輯電路設(shè)計中的應(yīng)用　
第5章　圖論
　5.1　圖的基本概念
　5.2　圖的矩陣表示
　5.3　平面圖
　5.4　樹
　5.5　圖論在計算機科學中的應(yīng)用