本课程为离散数学，系统讲解计算机科学核心的数学基础。内容涵盖命题与谓词逻辑、二元关系与特殊关系、函数、图论与树、特殊图，以及代数系统与群论。课程旨在培养学生严谨的逻辑推理、抽象思维和数学建模能力，为后续学习算法、数据结构等课程奠定坚实基础。

视频课程目录：
1. 命题逻辑
2. 谓词逻辑
3. 二元关系
4. 特殊关系
5. 函数
6. 图
7. 树
8. 特殊图
9. 代数系统
10. 群




├─{01}--命题逻辑
│ [1.1]--3.1什么是命题（12.8）.mp4
│ [1.2]--3.2命题连接词黄莉（四改）.mp4
│ [1.3]--3.3基本等价公式（三改）定稿.mp4
│ [1.4]--3.4范式黄莉（四改）.mp4
│ [1.5]--3.5范式举例黄莉（四改）.mp4
│ [1.6]--3.6命题逻辑推理黄莉(五改）.mp4
│ [1.7]--3.7命题逻辑推理举例黄莉（二改）定稿.mp4
│
├─{02}--谓词逻辑
│ [2.1]--4.1谓词符号化黄莉（二改）定稿.mp4
│ [2.2]--4.2谓词解释黄莉（一改）定稿.mp4
│ [2.3]--4.3谓词基本等价公式黄莉（三改）.mp4
│ [2.4]--4.4谓词推理黄莉（二改）定稿.mp4
│
├─{03}--二元关系
│ [3.1]--6.1幂集和无限集邓莉（二改）定稿.mp4
│ [3.2]--6.2关系及其表示方法邓莉（三改）定稿.mp4
│ [3.3]--6.3二元关系的运算邓莉（四改定稿）8.25.mp4
│ [3.4]--6.4二元关系的性质（一）邓莉（四改定稿）8.25.mp4
│ [3.5]--6.5二元关系的性质（二）邓莉（三改）定稿.mp4
│ [3.6]--6.6关系的闭包运算邓莉（三改）定稿.mp4
│
├─{04}--特殊关系
│ [4.1]--7.1等价关系及划分邓莉（三改）定稿.mp4
│ [4.2]--7.2等价类与商集邓莉（三改）定稿.mp4
│ [4.3]--7.3哈斯图与特殊元邓莉（二改）定稿.mp4
│
├─{05}--函数
│ [5.1]--8.1函数及其运算邓莉（二改定稿）8.25.mp4
│
├─{06}--图
│ [6.1]--9.1图的基本概念一改.mp4
│ [6.2]--9.2图的连通性张铭晖（二改）.mp4
│ [6.3]--9.3结点度数与图的矩阵表示一改.mp4
│
├─{07}--树
│ [7.1]--10.1树张铭晖.mp4
│ [7.2]--10.2根树.mp4
│
├─{08}--特殊图
│ [8.1]--11.1欧拉图与哈密顿图一改.mp4
│ [8.2]--11.2偶图与平面图.mp4
│
├─{09}--代数系统
│ [9.1]--12.1代数系统与二元运算律张铭晖（二改）.mp4
│ [9.2]--12.2代数系统的特殊元张铭晖（二改）.mp4
│ [9.3]--12.3同态与同构张铭晖（一改）.mp4
│
└─{10}--群
[10.1]--13.1半群陈东方三改_.mp4
[10.2]--13.2群陈东方（二改）.mp4
[10.3]--13.3特殊群陈东方(一改定稿）.mp4