离散数学
发布时间：2020-02-13 12:31来源：未知
 |
课程导学 |
|
|
第一部分数理逻辑篇介绍1 |
|
|
1.1 命题与命题联结词(1) |
|
|
1.1 命题与命题联结词(2) |
|
|
1.2 命题公式的等值演算(1) |
|
|
1.2 命题公式的等值演算(2) |
|
|
1.2 命题公式的等值演算(3). |
|
|
1.2 命题公式的等值演算(4) |
|
|
1.3 联结词完备集 |
|
|
2.1 范式 |
|
|
2.2 主范式(1) |
|
|
2.2 主范式(2) |
|
|
2.2 主范式(3) |
|
|
2.3 自然推理系统(1) |
|
|
2.3 自然推理系统(2). |
|
|
3.1 谓词的概念与表示(1) |
|
|
3.1 谓词的概念与表示(2) |
|
|
3.2 合式公式 |
|
|
3.3 谓词演算的等价式与蕴 |
|
|
3.4 前束范式 |
|
|
3.5 谓词演算的推理理论. |
|
|
4集合论篇介绍. |
|
|
4.1 集合 |
|
|
4.2 集合的运算. |
|
|
4.3 有序对与笛卡尔积. |
|
|
5.1 关系及其性质(1) |
|
|
5.1 关系及其性质(2). |
|
|
5.1 关系及其性质(3). |
|
|
5.1 关系及其性质(4). |
|
|
5.2 关系的运算(2). |
|
|
5.2 关系的运算(3). |
|
|
5.2 关系的运算(4) |
|
|
5.2 关系的运算(5) |
|
|
5.2 关系的运算(6). |
|
|
5.3 等价关系与序关系(1) |
|
|
5.3 等价关系与序关系(2). |
|
|
5.3 等价关系与序关系(3). |
|
|
5.4 函数. |
|
|
6代数系统篇介绍 |
|
|
6.1 代数系统 |
|
|
6.2-6.3 群与半群、环. |
|
|
7.1-7.2 格、分配格和有补格 |
|
|
7.3 布尔代数 |
|
|
8图论篇介绍 |
|
|
8.1 图的基本概念(1). |
|
|
8.1 图的基本概念(2). |
|
|
-8.2 图的连通性(1). |
|
|
8.2 图的连通性(2). |
|
|
8.3 图的表示 |
|
|
9.1 欧拉图与哈密顿图. |
|
|
9.2-9.3 平面图、树及其遍历 |
