本课程《离散数学》系统讲解计算机科学核心数学基础，涵盖逻辑推理、集合关系、图论及代数结构等关键内容。通过学习命题与谓词逻辑、集合与函数、二元关系、图论基本概念与特殊图，以及代数系统入门知识，旨在培养严谨的抽象思维和逻辑分析能力，为后续算法、数据结构等课程奠定坚实基础。
视频课程目录：
1. 命题逻辑
2. 谓词逻辑
3. 集合
4. 二元关系
5. 函数
6. 图
7. 特殊图
8. 代数系统
├─{01}--命题逻辑
│ [1.1]--01-1.1命题与命题联结词－092.mp4
│ [1.2]--01-1.2命题公式及命题的类型-0927.mp4
│ [1.3]--01-1.3命题逻辑的等值演算-0929.mp4
│ [1.4]--01-1.4范式-9.29_x26.mp4
│ [1.5]--02-1.5命题的演绎推理-10.9_x26.mp4
│
├─{02}--谓词逻辑
│ [2.1]--02-2.1-谓词逻辑的基本概念-10.15.mp4
│ [2.2]--【黄巍】2.2谓词公式的等价式与蕴含.mp4
│
├─{03}--集合
│ [3.1]--02-3.1集合论-0918.mp4
│ [3.2]--02-3.2集合运算-0918.mp4
│
├─{04}--二元关系
│ [4.1]--03-4.1关系的定义及其表示-0917.mp4
│ [4.2]--04-4.2关系运算-0913.mp4
│ [4.3]--04-4.3关系的性质-0913.mp4
│ [4.4]--4.4关系闭包.mp4
│ [4.5]--05-4.5等价关系-0917.mp4
│ [4.6]--04-4.6偏序关系-0913.mp4
│
├─{05}--函数
│ [5.1]--05-5.1函数定义及其性质-0918.mp4
│ [5.2]--5.2函数的复合与反函数.mp4
│
├─{06}--图
│ [6.1]--01－6.1图的基本概念-092.mp4
│ [6.2]--01-6.2图的连通性-9.27_x26.mp4
│ [6.3]--6.3图的矩阵表示-10.9_x26.mp4
│
├─{07}--特殊图
│ [7.1]--01-7.1欧拉图-11.11.mp4
│ [7.2]--01-7.2哈密顿图-11.11.mp4
│ [7.3]--01-7.3二部图-11.11.mp4
│ [7.4]--02-7.4树-11.17_x26.mp4
│
└─{08}--代数系统
[8.1]--01-8.1-代数系统-10.26.mp4
[8.2]--01-8.2群-10.22（2）_x26.mp4
网盘链接
点击"确认查看"按钮加载内容...