《离散数学》是计算机科学及相关领域的核心基础课程，系统研究离散对象的结构、关系与运算。本课程从命题逻辑与一阶逻辑出发，逐步深入讲解集合、关系、函数等基本概念，进而探讨代数系统、群、环等抽象代数结构，最后介绍图论的基本内容，包括图、树、欧拉图与哈密顿图等。课程旨在培养学生的逻辑思维、抽象推理与数学建模能力，为后续学习算法、数据结构、编译原理等课程奠定坚实的数学基础。

视频课程目录：
1. 命题逻辑的基本概念
2. 命题逻辑等值演算
3. 命题逻辑的推理理论
4. 一阶逻辑基本概念
5. 一阶逻辑等值演算与推理
6. 集合代数
7. 二元关系
8. 函数
9. 代数系统
10. 群与环
11. 格与布尔代数
12. 图的基本概念
13. 欧拉图与哈密顿图
14. 树
15. 平面图




├─{01}--命题逻辑的基本概念
│ #1.1#--图文.pdf
│ [1.2]--1.1命题与联结词由雪梅.mp4
│ [1.3]--1.2命题公式及其赋值由雪梅.mp4
│
├─{02}--命题逻辑等值演算
│ #2.1#--图文.pdf
│ [2.2]--2.1等值式由雪梅.mp4
│ [2.3]--2.2析取范式与合取范式（1）由雪梅.mp4
│ [2.4]--2.2析取范式与合取范式（2)由雪梅.mp4
│ [2.5]--2.3联结词的完备集由雪梅.mp4
│ [2.6]--2.4可满足性问题与消解法由雪梅.mp4
│
├─{03}--命题逻辑的推理理论
│ #3.1#--图文.pdf
│ [3.2]--3.1推理的形式结构由雪梅.mp4
│ [3.3]--3.2自然推理系统p由雪梅.mp4
│
├─{04}--一阶逻辑基本概念
│ #4.1#--图文.pdf
│ [4.2]--4.1一阶逻辑命题符号化由雪梅.mp4
│ [4.3]--4.2一阶逻辑公式及解释(1).mp4
│
├─{05}--一阶逻辑等值演算与推理
│ #5.1#--图文.pdf
│ [5.2]--5.1一阶逻辑等值式与置换规则(1).mp4
│ [5.3]--5.2一阶逻辑前束范式_1(1).mp4
│ [5.4]--5.3一阶逻辑的推论理论(1).mp4
│
├─{06}--集合代数
│ #6.1#--图文.pdf
│ [6.2]--6离散数学-2(1).mp4
│
├─{07}--二元关系
│ #7.1#--图文.pdf
│ [7.2]--7二元关系-1-定义(1).mp4
│ [7.3]--7二元关系-2-关系运算.mp4
│ [7.4]--7二元关系-3-关系运算的性质.mp4
│ [7.5.1]--7二元关系-4-关系的幂运算.mp4
│ [7.5.2]--5-关系性质-王强.mp4
│ [7.6]--6-关系的闭包-王强.mp4
│ [7.7]--7-等价关系-王强.mp4
│ [7.8]--8-偏序关系-王强.mp4
│
├─{08}--函数
│ #8.1#--图文.pdf
│ [8.2]--8函数-1-定义王强.mp4
│ [8.3]--8函数-2-性质王强.mp4
│ [8.4]--8函数-3-函数的复合王强.mp4
│ [8.5]--8函数-4-函数的反函数王强.mp4
│ [8.6]--8函数-5-双射函数与集合的基数王强.mp4
│
├─{09}--代数系统
│ #9.1#--图文.pdf
│ [9.2]--9.1代数系统定义马英红.mp4
│ [9.3]--9.2二元运算的性质上马英红.mp4
│ [9.4]--9.2二元运算的性质下马英红.mp4
│ [9.5]--9.3代数系统的同态（一）上马英红.mp4
│ [9.6]--9.3代数系统的同态（一）下马英红.mp4
│ [9.7]--9.3代数系统的同态（二）马英红.mp4
│ [9.8]--9.4同余关系马英红.mp4
│
├─{10}--群与环
│ #10.1#--图文.pdf
│ [10.2]--10.2群马英红.mp4
│ [10.3]--10.1半群（Semi-group）马英红.mp4
│ [10.4]--10.4子群及其证明马英红.mp4
│ [10.5]--子群及其陪集（一）马英红.mp4
│ [10.6]--子群及其陪集（二）马英红.mp4
│ [10.7]--10.3置换群（一）马英红.mp4
│ [10.8]--10.3置换群（二）马英红.mp4
│ [10.9]--10.2群-群的阶与元素的阶马英红.mp4
│
├─{11}--格与布尔代数
│ #11.1#--图文.pdf
│
├─{12}--图的基本概念
│ #12.1#--图文.pdf
│ [12.2]--14.1图（上）.mp4
│ [12.3]--14.1图(下).mp4
│ [12.4]--14.1图(下)02.mp4
│ [12.5]--14.2通路与回路.mp4
│ [12.6]--14.3图的连通性.mp4
│ [12.7]--14.3图的连通性02.mp4
│ [12.8]--14.4图的矩阵表示.mp4
│
├─{13}--欧拉图与哈密顿图
│ #13.1#--图文.pdf
│ [13.2]--15欧拉图.mp4
│ [13.3]--15哈密顿图.mp4
│ [13.4]--15.3-1最短路问题.mp4
│ [13.5]--15.3-2中国邮递员问题.mp4
│ [13.6]--15.3-3旅行商问题.mp4
│
├─{14}--树
│ #14.1#--图文.pdf
│ [14.2]--16树-无向树-1.mp4
│ [14.3]--16树-生成树-2.mp4
│ [14.5]--16树-根树-3.mp4
│
└─{15}--平面图