一：集合論基礎
1.1 集合的初見
1.2 特殊集合與集合間的關系
1.3 集合的運算
1.4 集合的運算定律
1.5 可數集合與不可數集合
二：命題邏輯
2.1 什么是命題
2.2 命題聯結詞
2.3 命題符號化及其應用
2.4 命題公式和真值表
2.5 命題公式分類和等價
2.6 命題等價公式及應用
2.7 范式
2.8 主范式
2.9 命題蘊含公式
2.10 演繹法推理
三：謂詞邏輯
3.1 謂詞引入
3.2 量詞引入
3.3 謂詞符號化
3.4 謂詞公式
3.5 自由變元和約束變元
3.6 公式解釋和分類
3.7 公式等價
3.8 前束范式(可選)
3.9 推理形式和推理規則
3.10 謂詞綜合推理
四：二元關系
4.1 序偶和笛卡爾積
4.2 關系定義
4.3 關系的表示
4.4 關系的運算
4.5 關系的運算定律
4.6 關系的冪運算
4.7 關系的性質一
4.8 關系的性質二(可選)
4.9 關系的閉包(可選)
五：特殊關系
5.1 等價關系
5.2 集合的划分
5.3 偏序關系
5.4 哈斯圖和特殊元素
5.5 其他次序關系(可選)
六：函數
6.1 函數的定義
6.2 函數的類型
6.3 函數的運算
七：圖論基礎
7.1 圖的引入
7.2 圖的表示
7.3 圖的分類
7.4 子圖和補圖
7.5 握手定理
7.6 圖的同構
7.7 通路和回路
7.8 可達性和最短通路
7.9 無向圖的連通性
7.10 有向圖的連通性
八：數
8.1 認識樹
8.2 無向樹
8.3 生成樹
8.4 最小生成樹
8.5 根數
8.6 根數的遍歷
8.7 最優樹和哈夫曼算法
九：特殊圖
9.1 歐拉圖
9.2 哈密頓圖
9.3 偶圖
9.4 平面圖
課件及目錄整理下載：鏈接: https://pan.baidu.com/s/1TXIcceL0kA0avw-YFgNPHQ 提取碼: 4aay
課程名稱：電子科技大學[國家精品]離散數學