本课程《离散数学》是计算机科学及相关领域的数学基础课程，系统讲解支撑现代计算的核心数学结构。课程内容从逻辑基础出发，涵盖命题逻辑与一阶逻辑、集合论、二元关系，并深入图论及其特殊结构（如欧拉图、哈密顿图和树）。通过学习，学生将掌握严谨的数学推理、抽象建模及解决离散问题的基本能力，为后续学习算法、数据结构、计算理论等奠定坚实基础。

视频课程目录：
1. 命题逻辑的基本概念
2. 命题逻辑等值演算
3. 命题逻辑的推理理论
4. 一阶逻辑基本概念
5. 一阶逻辑等值演算与推理
6. 集合代数
7. 二元关系
8. 图的基本概念
9. 欧拉图与哈密顿图
10. 树
11. 教学资料




├─{01}--命题逻辑的基本概念
│ (1.1.1)--1.1命题与联结词（2）.ppt
│ (1.1.2)--1.1命题与联结词（1）(1).ppt
│ (1.2)--1.2命题公式及其赋值课件.ppt
│ (1.3.1)--1.2-命题公式及其赋值（上）.doc
│ (1.3.2)--1.1-命题与联结词习题(1).doc
│ (1.3.3)--1.2-命题公式及其赋值习题（下）.doc
│ (1.4.1)--1.1案例分析.doc
│ (1.4.2)--1.2案例分析.doc
│ [1.1.1]--1.1命题与联结词(2).mp4
│ [1.1.2]--1.1命题与联结词(1).mp4
│ [1.2]--1.2命题公式及其赋值@.mp4
│
├─{02}--命题逻辑等值演算
│ (2.1)--2.1等值式课件.ppt
│ (2.2.1)--2.2析取范式与合取范式(1)课件(1).ppt
│ (2.2.2)--2.2(3)主范式的应用课件(1).ppt
│ (2.2.3)--2.2（2）主范式课件(1).ppt
│ (2.3.1)--2.2析取范式与合取范式习题(1).doc
│ (2.3.2)--2.1等值式习题(1).doc
│ (2.4)--第二章案例分析.doc
│ [2.1]--2.1等值式视频.mp4
│ [2.2.1]--2.2.主范式视频.mp4
│ [2.2.2]--2.2析取范式与合取范式（1）视频.mp4
│
├─{03}--命题逻辑的推理理论
│ (3.1)--3.1命题逻辑的推理课件.ppt
│ (3.2)--3.2自然推理系统P课件.ppt
│ (3.3.1)--3.1推理的形式结构习题（下）(1).doc
│ (3.3.2)--3.1推理的形式结构习题（上）(1).doc
│ (3.3.3)--3.2自然推理系统P习题（下）(1).doc
│ (3.4)--第三章案例分析.doc
│ [3.1]--3.1推理的形式结构视频.mp4
│ [3.2]--3.2自然推理系统P视频.mp4
│
├─{04}--一阶逻辑基本概念
│ (4.1)--4.1一阶逻辑的命题符号化课件.ppt
│ (4.2.1)--4.2一阶逻辑公式及其解释（1）(1).ppt
│ (4.2.2)--4.2一阶逻辑公式及其解释（2）(1).ppt
│ (4.3.1)--4.1一阶逻辑命题符号化习题（下）.doc
│ (4.3.2)--4.1一阶逻辑命题符号化习题（上）.doc
│ (4.3.3)--4.2一阶逻辑命题公式及其解释习题（下）.doc
│ (4.3.4)--4.2一阶逻辑命题公式及其解释习题（上）.doc
│ (4.4)--第四章案例分析.doc
│ [4.1]--4.1一阶逻辑的命题符号化视频.mp4
│ [4.2]--4.2一阶逻辑公式及其解释（1）谓词公式、辖域、约束自由变元.mp4
│
├─{05}--一阶逻辑等值演算与推理
│ (5.1)--5.1一阶逻辑等值演算与置换规则(1).ppt
│ (5.2)--5.2一阶逻辑前束范式(1).ppt
│ (5.3)--5.3一阶逻辑推理理论(1).ppt
│ (5.4.1)--5.1一阶逻辑等值式与置换规则习题（上）.doc
│ (5.4.2)--5.2一阶逻辑前束范式习题（下）.doc
│ (5.4.3)--5.1一阶逻辑等值演算与置换规则习题（下）.doc
│ (5.5)--第五章案例分析.doc
│ [5.1]--5.1一阶逻辑等值演算与置换规则视频.mp4
│ [5.2]--5.2一阶逻辑前束范式视频.mp4
│ [5.3]--5.3一阶逻辑推理理论视频.mp4
│
├─{06}--集合代数
│ (6.1)--6.1集合的基本概念.ppt
│ (6.2)--6.2集合的运算.ppt
│ (6.3.1)--6.3集合恒等式.ppt
│ (6.3.2)--第六章习题课.ppt
│
├─{07}--二元关系
│ (7.1)--7.1有序对于笛卡尔积.ppt
│ (7.2)--7.2二元关系(1).ppt
│ (7.3.1)--7.3关系的运算课件（上）.ppt
│ (7.3.2)--7.3关系的运算(下).ppt
│ (7.4)--7.4关系的性质课件.ppt
│ (7.5)--7.5二元关系的闭包.ppt
│ (7.6)--7.6等价关系与划分课件.ppt
│ (7.7)--7.7偏序关系与实例课件.ppt
│ (7.8.1)--7.1有序对与笛卡尔积习题（下）.doc
│ (7.8.10)--7.2二元关系习题（上）.doc
│ (7.8.2)--7.1有序对与笛卡尔积习题（上）.doc
│ (7.8.3)--7.5关系的闭包习题（上）.doc
│ (7.8.4)--7.5二元关系的闭包习题（下）.doc
│ (7.8.5)--7.4二元关系的性质习题（下）.doc
│ (7.8.6)--7.4二元关系的性质习题（上）.doc
│ (7.8.7)--7.3二元关系运算习题（下）.doc
│ (7.8.8)--7.3二元关系运算习题（上）.doc
│ (7.8.9)--7.2二元关系习题（下）.doc
│ (7.9)--第七章案例分析.doc
│ [7.3.1]--7.3关系的运算（2）视频.mp4
│ [7.3.2]--7.3关系的运算（1）视频_.mp4
│ [7.4]--7.4关系的性质视频_.mp4
│ [7.6]--7.6等价关系与划分视频.mp4
│ [7.7]--7.7偏序关系与实例视频.mp4
│
├─{08}--图的基本概念
│ (8.1.1)--8.1图.ppt
│ (8.1.2)--8.1图（下）.ppt
│ (8.2)--8.2通路与回路.ppt
│ (8.3)--8.3图的连通性(1).ppt
│ (8.4.1)--8.4图的矩阵表示.ppt
│ (8.4.2)--第八章习题课.ppt
│ (8.5.1)--8.4图的矩阵表示（上）.doc
│ (8.5.2)--8.3图的连通性（上）.doc
│ (8.5.3)--8.2通路与回路（上）.doc
│ (8.5.4)--8.1图（上）.doc
│ (8.6)--第八章案例分析(1).doc
│
├─{09}--欧拉图与哈密顿图
│ (9.1)--9.1欧拉图课件.ppt
│ (9.2)--9.2哈密顿图课件.ppt
│ (9.3.1)--9.2哈密顿图（下）.doc
│ (9.3.2)--9.2哈密顿图（上）.doc
│ (9.3.3)--9.1欧拉图（上）.doc
│ (9.4)--第九章案例分析.doc
│ [9.1]--欧拉图(2).mp4
│ [9.2.1]--哈密顿图录屏（下）.mp4
│ [9.2.2]--哈密顿图录屏.mp4
│
├─{10}--树
│ (10.1)--10.1无向树及其性质.ppt
│ (10.2)--10.2生成树课件(1).ppt
│ (10.3)--10.3根树及其应用.ppt
│ (10.4.1)--10.1生成树习题（下）.doc
│ (10.4.2)--10.3根树及其应用习题（下）.doc
│ (10.4.3)--10.1无向树（上）.doc
│ (10.4.4)--10.1无向树（下）.doc
│ (10.5.1)--10.1本节知识的应用.doc
│ (10.5.2)--10.3本节知识的应用(2).doc
│ [10.1]--10.1无向树的的定义及其性质.mp4
│ [10.3]--10.3根树录屏.mp4
│
└─{11}--教学资料
(11.1)--离散数学-模块描述.doc
(11.2)--离散数学教学大纲.doc
(11.3)--离散数学实验大纲1(1).doc
(11.4)--离散数学实验指导书.doc
(11.5)--实验报告评分标准(离散数学).doc
(11.6)--离散数学课程思政案例.doc