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

離散數(shù)學(xué)
第一章 命題邏輯
1 命題與關(guān)聯(lián)結(jié)詞
2 命題公式及其分類
3 等值演算
4 主析取范式與主合取范式
5 命題邏輯的推理理論
習(xí)題一
第二章 謂詞邏輯
1 謂詞概念與表示
2 謂詞公式及解釋
3 謂詞公式的等值式
4 謂詞演算的推理理論
習(xí)題二
第三章 集合 關(guān)系 映射
1 集合的基本概念
2 集合的基本運(yùn)算
3 笛卡爾積與關(guān)系
4 關(guān)系的表示與關(guān)系的性質(zhì)
5 關(guān)系的運(yùn)算與閉包
6 等價關(guān)系與劃分
7 偏序關(guān)系
8 函數(shù)的概念
9 復(fù)合函數(shù)與反函數(shù)
習(xí)題三
第四章 代數(shù)系統(tǒng)
1 二元運(yùn)算及其性質(zhì)
2 代數(shù)系統(tǒng)及其子代數(shù)與積代數(shù)
3 代數(shù)系統(tǒng)的同態(tài)與同構(gòu)
4 關(guān)群與獨(dú)異點(diǎn)
5 群與子群
6 環(huán)與域
7 格布布爾代數(shù)
習(xí)題四
第五章 圖論
1 無向圖和有向圖
2 路與回路及圖的連通性
3 圖的矩陣表示
4 歐拉圖與哈密爾頓圖
5 平面圖
6 無向樹與有向樹
各章習(xí)題解答
離散數(shù)學(xué)（學(xué)習(xí)指導(dǎo)）