離散數(shù)學(xué)（修）

第一章　集合論
　§1　基本概念
　§2　集合的運(yùn)算
　§3　冪集
　§4　n元組和笛卡兒乘積
　§5　一一對(duì)應(yīng)
　§6　可列集
　§7　無(wú)限集
第二章　關(guān)系和映射
　§1　關(guān)系和映射
　§2　關(guān)系的運(yùn)算
　§3　具有某些特殊性質(zhì)的關(guān)系
　§4　等價(jià)關(guān)系
　§5　部分序關(guān)系
第三章　格和布爾代數(shù)
　§1　代數(shù)系統(tǒng)及其同構(gòu)
　§2　格
　§3　作為代數(shù)系統(tǒng)的格
　§4　有界格、有補(bǔ)格、分配格和模格
　§5　布爾代數(shù)
　§6　布爾表達(dá)式
第四章　半群與群
　§1　半群和單元半群
　§2　群的定義及其性質(zhì)
　§3　子群
　§4　循環(huán)群
　§5　變換群
第五章　商群
　§1　同余關(guān)系和商代數(shù)
　§2　陪集和拉格朗日定理
　§3　正規(guī)子群和商群
第六章　數(shù)理邏輯
　§1　命題演算
　§2　命題演算的推理理論
　§3　定理的自動(dòng)證明
　§4　謂詞演算
　§5　謂詞演算的推理理論
第七章　圖論
　§1　引論
　§2　基本概念
　§3　路徑問題
　§4　樹
　§5　平面圖