離散數學

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