《离散数学》是计算机科学及相关领域的核心基础课程，主要研究离散对象的结构及其相互关系。本课程系统讲解数理逻辑（命题逻辑、一阶逻辑）、集合论（集合、关系、函数）、图论（图的基本概念、特殊图）以及代数系统等核心内容，旨在培养学生的抽象思维、逻辑推理和形式化建模能力，为后续学习算法、数据结构、编译原理等课程奠定坚实的数学基础。

视频课程目录：
1. 引言
2. 数理逻辑（命题逻辑、一阶逻辑）
3. 集合论（集合、关系、函数）
4. 图论（图的基本概念、特殊图）
5. 代数系统




├─{01}--引言
│ [1.1]--引言—姚惠萍.mp4
│
├─{02}--数理逻辑——命题逻辑
│ (2.1)--命题逻辑-1命题.ppt
│ (2.2)--命题逻辑-2联结词与复合命题.ppt
│ (2.3)--命题逻辑-3命题公式与分类.ppt
│ (2.4)--命题逻辑-4等值演算.ppt
│ (2.5)--命题逻辑-5范式.ppt
│ (2.6)--命题逻辑-6主取范式与主合取范式.ppt
│ (2.7)--命题逻辑-7联结词全功能集.ppt
│ (2.8)--命题逻辑-8组合电路.ppt
│ (2.9)--命题逻辑-9构造证明.ppt
│ [2.1]--命题姚惠萍.mp4
│ [2.2]--联结词与复合命题—姚惠萍.mp4
│ [2.3]--命题公式与分类—姚惠萍.mp4
│ [2.4]--等值演算—姚惠萍.mp4
│ [2.5]--范式—姚惠萍.mp4
│ [2.6]--主取范式与主合取范式—姚惠萍.mp4
│ [2.7]--联结词全功能集—姚惠萍.mp4
│ [2.8]--组合电路—姚惠萍.mp4
│ [2.9]--构造证明—姚惠萍.mp4
│
├─{03}--数理逻辑——一阶逻辑
│ (3.1)--一阶逻辑-1基本概念与命题的符号化.ppt
│ (3.2)--一阶逻辑-2公式分类及解释.ppt
│ (3.3)--一阶逻辑-3等值式.ppt
│ (3.4)--一阶逻辑-4前束范式.ppt
│ [3.1]--一阶逻辑-基本概念与命题的符号化—姚惠萍.mp4
│ [3.2]--一阶逻辑公式分类及解释—姚惠萍.mp4
│ [3.3]--一阶逻辑等值式—姚惠萍.mp4
│ [3.4]--前束范式—姚惠萍.mp4
│
├─{04}--集合论——集合的基本概念和运算
│ (4.1)--集合论-1集合的基本概念.ppt
│ (4.2)--集合论-2集合的运算.ppt
│ (4.3)--集合论-3集合中元素的计数.ppt
│ [4.1]--集合的基本概念—姚惠萍.mp4
│ [4.2]--集合的运算—姚惠萍.mp4
│ [4.3]--集合中元素的计数—姚惠萍.mp4
│
├─{05}--集合论——二元关系和函数
│ (5.1)--集合论-4二元关系.ppt
│ (5.10)--集合论-13函数的性质.ppt
│ (5.2)--集合论-5关系的运算.ppt
│ (5.3)--集合论-6关系的性质.ppt
│ (5.4)--集合论-7关系的闭包.ppt
│ (5.5)--集合论-8等价关系.ppt
│ (5.6)--集合论-9等价关系与集合的划分.ppt
│ (5.7)--集合论-10偏序关系.ppt
│ (5.8)--集合论-11偏序关系中的特殊元素.ppt
│ (5.9)--集合论-12函数.ppt
│ [5.10]--函数的性质—姚惠萍.mp4
│ [5.1]--二元关系—姚惠萍.mp4
│ [5.2]--关系的运算—姚惠萍.mp4
│ [5.3]--关系的性质—姚惠萍.mp4
│ [5.4]--关系的闭包—姚惠萍.mp4
│ [5.5]--等价关系—姚惠萍.mp4
│ [5.6]--等价关系与集合的划分—姚惠萍.mp4
│ [5.7]--偏序关系—姚惠萍.mp4
│ [5.8]--偏序关系中的特殊元素—姚惠萍.mp4
│ [5.9]--函数—姚惠萍.mp4
│
├─{06}--图论——图的基本概念
│ (6.1)--图论-1图的基本概念（1）.ppt
│ (6.2)--图论-2图的基本概念（2）.ppt
│ (6.3)--图论-3图的基本概念（3）.ppt
│ (6.4)--图论-4通路、回路和图的连通性.ppt
│ (6.5)--图论-5图的矩阵表示.ppt
│ (6.6)--图论-6最短路径.ppt
│ [6.1]--图的基本概念（1）—姚惠萍.mp4
│ [6.2]--图的基本概念（2）—姚惠萍.mp4
│ [6.3]--图的基本概念（3）—姚惠萍.mp4
│ [6.4]--通路、回路和图的连通性—姚惠萍.mp4
│ [6.5]--图论-5图的矩阵表示姚惠萍.mp4
│ [6.6]--图论-6最短路径姚惠萍.mp4
│
├─{07}--图论——特殊的图
│ (7.1)--特殊的图-1二部图.ppt
│ (7.2)--特殊的图-2欧拉图.ppt
│ (7.3)--特殊的图-3哈密顿图.ppt
│ (7.4)--特殊的图-4平面图（1).ppt
│ (7.5)--特殊的图-5平面图（2）.ppt
│ (7.6)--特殊的图-6平面图（3）.ppt
│ [7.1]--特殊的图-1二部图姚惠萍.mp4
│ [7.2]--特殊的图-2欧拉图姚惠萍.mp4
│ [7.3]--特殊的图-3哈密顿图姚惠萍.mp4
│ [7.4]--特殊的图-4平面图（1)姚惠萍.mp4
│ [7.5]--特殊的图-5平面图（2）姚惠萍.mp4
│ [7.6]--特殊的图-6平面图（3）姚惠萍.mp4
│
└─{08}--代数系统
(8.1)--代数系统-1n元运算.ppt
(8.10)--特殊代数系统-6置换群（2）.ppt
(8.11)--特殊代数系统-7格与布尔代数.ppt
(8.2)--代数系统-2运算性质与特殊元素.ppt
(8.3)--代数系统-3代数系统定义及相关术语.ppt
(8.4)--代数系统-4同态与同构.ppt
(8.5)--特殊代数系统-1半群与群.ppt
(8.6)--特殊代数系统-2群的性质.ppt
(8.7)--特殊代数系统-3子群.ppt
(8.8)--特殊代数系统-4循环群.ppt
(8.9)--特殊代数系统-5置换群（1）.ppt
[8.10]--置换群（2）—姚惠萍.mp4
[8.11]--格与布尔代数—姚惠萍.mp4
[8.1]--代数系统-1n元运算姚惠萍.mp4
[8.2]--代数系统-2运算性质与特殊元素姚惠萍.mp4
[8.3]--代数系统-3代数系统定义及相关术语姚惠萍(1).mp4
[8.4]--代数系统-4同态与同构姚惠萍.mp4
[8.5]--半群与群—姚惠萍.mp4
[8.6]--群的性质—姚惠萍.mp4
[8.7]--子群—姚惠萍.mp4
[8.8]--循环群—姚惠萍.mp4
[8.9]--置换群（1）—姚惠萍.mp4