離散數(shù)學(xué)：中等專業(yè)學(xué)校教材

第一章 集合
1-1 集合與元素
1-2 集合的包含與相等
1-3 冪集
1-4 集合運(yùn)算
1-5 笛卡爾積
小結(jié)
第二章 二元關(guān)系
2-1 二元關(guān)系及其表示
2-2 關(guān)系的性質(zhì)
2-3 關(guān)系的運(yùn)算
2-4 等價(jià)關(guān)系和相容關(guān)系
2-5 偏序關(guān)系
小結(jié)
第三章 函數(shù)
3-1 函數(shù)
3-2 復(fù)合函數(shù)
3-3 置換
3-4 數(shù)學(xué)歸納法
3-5 特征函數(shù)與模糊集合
小結(jié)
第四章 代數(shù)結(jié)構(gòu)簡介
4-1 代數(shù)結(jié)構(gòu)
4-2 半群和群
4-3 子群與環(huán)
4-4 同態(tài)和同構(gòu)
小結(jié)
第五章 格和布爾代數(shù)
5-1 格和布爾代數(shù)
5-2 格的定義
5-3 格的性質(zhì)與特殊格
5-4 布爾代數(shù)簡介
小結(jié)
第六章 命題邏輯
6-1 命題
6-2 命題公式及翻譯
6-3 命題定律
6-4 基本聯(lián)結(jié)詞和蘊(yùn)含關(guān)系
6-5 范式
6-6 命題演算的推理論
小結(jié)
第七章 謂詞演算
7-1 謂詞和量詞
7-2 謂詞公式
7-3 謂詞演算的等價(jià)與蘊(yùn)含式
7-4 謂詞演算的推理理論
小結(jié)
第八章 圖論初步
8-1 圖的基本概念
8-2 路與回路
8-3 鄰接矩陣和關(guān)聯(lián)矩陣
8-4 歐拉圖
8-5 哈密爾頓圖
8-6 平面圖及偶圖
8-7 對(duì)偶圖與圖的著色
8-8 樹
小結(jié)
參考文獻(xiàn)