课表
知识结构：
1. 什么是离散数学？
2. 离散数学的知识结构
3. 离散数学的学习对象
4. 学习离散的用处
- 1. 离散数学是计算机学科的数学基础
- ">2. 离散数学在计算机中的典型应用

课表

课程导学(07:28)↓
第一部分数理逻辑篇
数理逻辑篇介绍(07:24)↓
1.1 命题与命题联结词(1)…(21:49)↓
1.1 命题与命题联结词(2)…(17:58)↓
1.2 命题公式的等值演算(1…(29:18)↓
1.2 命题公式的等值演算(2…(18:35)↓
1.2 命题公式的等值演算(3…(30:46)↓
1.2 命题公式的等值演算(4…(28:04)↓
1.3 联结词完备集(10:10)↓
2.1 范式(12:53)↓
2.2 主范式(1)(18:47)↓
2.2 主范式(2)(23:50)↓
2.2 主范式(3)(37:24)↓
2.3 自然推理系统(1)…(34:26)↓
2.3 自然推理系统(2)…(25:03)↓
3.1 谓词的概念与表示(1)…(24:39)↓
3.1 谓词的概念与表示(2)…(14:01)↓
3.2 合式公式(30:44)↓
3.3 谓词演算的等价式与蕴涵…(28:29)↓
3.4 前束范式(07:31)↓
3.5 谓词演算的推理理论…(36:29)↓
第二部分集合论篇
集合论篇介绍(04:21)↓
4.1 集合(24:55)↓
4.2 集合的运算(15:25)↓
4.3 有序对与笛卡尔积…(15:19)↓
5.1 关系及其性质(1)…(24:36)↓
5.1 关系及其性质(2)…(15:00)↓
5.1 关系及其性质(3)…(22:37)↓
5.1 关系及其性质(4)…(22:47)↓
5.2 关系的运算(1)…(14:52)↓
5.2 关系的运算(2)…(19:54)↓
5.2 关系的运算(3)…(19:25)↓
5.2 关系的运算(4)…(12:07)↓
5.2 关系的运算(5)…(31:05)↓
5.2 关系的运算(6)…(09:37)↓
5.3 等价关系与序关系(1)…(26:27)↓
5.3 等价关系与序关系(2)…(22:35)↓
5.3 等价关系与序关系(3)…(15:33)↓
5.4 函数(11:57)↓
第三部分代数系统篇
代数系统篇介绍(04:36)↓
6.1 代数系统(26:47)↓
6.2-6.3 群与半群、环…(31:10)↓
7.1-7.2 格、分配格和有…(21:07)↓
7.3 布尔代数(09:28)↓
第四部分图论篇
图论篇介绍(04:08)↓
8.1 图的基本概念(1)…(12:48)↓
8.1 图的基本概念(2)…(26:37)↓
8.2 图的连通性(1)…(11:49)↓
8.2 图的连通性(2)…(12:18)↓
8.3 图的表示(35:34)↓
9.1 欧拉图与哈密顿图…(32:27)↓
9.2-9.3 平面图、树及其…(36:29)↓