《离散数学》是计算机科学的核心基础课程，系统研究离散对象的结构及其相互关系。本课程涵盖命题与谓词逻辑、代数系统、图论等核心内容，旨在培养严密的逻辑推理、抽象思维与数学建模能力，为后续学习算法、数据结构等奠定坚实的理论基础。

视频课程目录：
01 前言
02 命题逻辑
03 谓词逻辑
04 第三单元
05 第四单元
06 代数系统
07 图论




├─{01}--前言
│ [1.1]--1-离散数学概述.mp4
│
├─{02}--第一单元
│ (2.4)--命题公式及翻译2.mpg
│ (2.5)--真值表与等价公式2.mpg
│ (2.6)--等价公式的证明方法（一）2.mpg
│ [2.10]--对偶.mp4
│ [2.11]--范式.mp4
│ [2.12]--主范式.mp4
│ [2.13]--1-推理理论.mp4
│ [2.1]--1-命题逻辑的知识准备.mp4
│ [2.2]--1-命题及其表示.mp4
│ [2.3]--1-联结词_1.mp4
│ [2.7]--等价公式的证明2.mp4
│ [2.8]--重言式与蕴含式.mp4
│ [2.9]--蕴含式的性质.mp4
│
├─{03}--第二单元
│ [3.1]--第二章谓词逻辑.mp4
│ [3.2]--第二章变元的约束.mp4
│ [3.3]--第二章谓词演算的等价式与蕴含式.mp4
│ [3.4]--第二章前束范式.mp4
│ [3.5]--第二章推理理论.mp4
│
├─{04}--第三单元
├─{05}--第四单元
├─{06}--第五单元
│ [6.1]--5-代数系统的引入_2.mp4
│ [6.2]--5-元素的性质_2_1.mp4
│ [6.3]--半群.mp4
│ [6.4]--5-独异点_1.mp4
│ [6.5]--5-群_2.mp4
│ [6.6]--5-子群.mp4
│
└─{07}--第六单元
[7.10]--第六章欧拉图的应用.mp4
[7.11]--第六章汉密尔顿图.mp4
[7.12]--第六章平面图.mp4
[7.13]--第六章对偶图与着色.mp4
[7.14]--第六章树与树的性质.mp4
[7.15]--第六章生成树.mp4
[7.16]--第六章根树的性质.mp4
[7.17]--第六章最优树及其应用.mp4
[7.1]--5-图的基本概念与性质（一）.mp4
[7.2]--5-图的基本概念与性质（二）.mp4
[7.3]--5-图的基本概念与性质（三）.mp4
[7.4]--5-路与回路_1.mp4
[7.5]--图的连通性.mp4
[7.6]--第六章有向图的连通性.mp4
[7.7]--第六章图的矩阵表示（一）.mp4
[7.8]--第六章图的矩阵表示（二）.mp4
[7.9]--第六章欧拉图.mp4