离散数学-数理逻辑实验-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

数理逻辑实验

2736 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(128)

自动播放

[1] 课程导论

4.3万播放

07:55

课程导论

[2] 1.0 数理逻辑简介

1.7万播放

03:12

1.0 数理逻辑简介

[3] 1.1命题的基本概念

1.6万播放

09:58

1.1命题的基本概念

[4] 1.2 联结词（上）

1.0万播放

11:50

1.2 联结词（上）

[5] 1.2 联结词（下）

4597播放

11:51

1.2 联结词（下）

[6] 1.3 命题公式（上）

9388播放

11:59

1.3 命题公式（上）

[7] 1.3 命题公式（下）

3891播放

11:56

1.3 命题公式（下）

[8] 1.4 命题公式之间的关系（上）

6766播放

08:08

1.4 命题公式之间的关系（上）

[9] 1.4命题公式之间的关系（中）（上...

4884播放

07:35

1.4命题公式之间的关系（中）（上）

[10] 1.4命题公式之间的关系（中）（下...

2697播放

07:40

1.4命题公式之间的关系（中）（下）

[11] 1.4命题公式之间的关系（下）

4821播放

08:11

1.4命题公式之间的关系（下）

[12] 重难点解析

4555播放

04:02

重难点解析

[13] 重难点解析（上）

4247播放

07:15

重难点解析（上）

[14] 重难点解析（下）

2017播放

07:16

重难点解析（下）

[15] 重难点解析

3475播放

01:28

重难点解析

[16] 重难点解析

3204播放

03:24

重难点解析

[17] 重难点解析

3385播放

06:30

重难点解析

[18] 重难点解析

2713播放

03:25

重难点解析

[19] 重难点解析

3298播放

01:45

重难点解析

[20] 重难点解析

2769播放

02:14

重难点解析

[21] 重难点解析

2163播放

02:19

重难点解析

[22] 重难点解析

2597播放

04:47

重难点解析

[23] 重难点解析

2705播放

02:38

重难点解析

[24] 重难点解析

2227播放

03:40

重难点解析

[25] 1.5 对偶与范式（上）（上）

5062播放

07:02

1.5 对偶与范式（上）（上）

[26] 1.5 对偶与范式（上）（下）

2303播放

07:03

1.5 对偶与范式（上）（下）

[27] 1.5 对偶与范式（下）（上）

4361播放

11:01

1.5 对偶与范式（下）（上）

[28] 1.5 对偶与范式（下）（下）

2378播放

11:06

1.5 对偶与范式（下）（下）

[29] 1.6 命题逻辑推理理论（上）

4614播放

08:48

1.6 命题逻辑推理理论（上）

[30] 1.6 命题逻辑推理理论（下）

1712播放

08:51

1.6 命题逻辑推理理论（下）

[31] 1.7 命题逻辑小结

2040播放

08:59

1.7 命题逻辑小结

[32] 重难点解析

2481播放

03:21

重难点解析

[33] 重难点解析

1624播放

02:25

重难点解析

[34] 2.1 谓词的基本概念（上）（上）

3518播放

05:07

2.1 谓词的基本概念（上）（上）

[35] 2.1 谓词的基本概念（上）（下）

1896播放

05:03

2.1 谓词的基本概念（上）（下）

[36] 2.1 谓词的基本概念（下）（上）

2619播放

05:02

2.1 谓词的基本概念（下）（上）

[37] 2.1 谓词的基本概念（下）（下）

1503播放

05:06

2.1 谓词的基本概念（下）（下）

[38] 2.2 谓词公式与解释（上）（上）

2889播放

06:21

2.2 谓词公式与解释（上）（上）

[39] 2.2 谓词公式与解释（上）（下）

1290播放

06:21

2.2 谓词公式与解释（上）（下）

[40] 2.2 谓词公式与解释（下）（上）

2556播放

05:18

2.2 谓词公式与解释（下）（上）

[41] 2.2 谓词公式与解释（下）（下）

1191播放

05:20

2.2 谓词公式与解释（下）（下）

[42] 2.3 谓词公式间的关系（上）

3073播放

08:49

2.3 谓词公式间的关系（上）

[43] 2.3 谓词公式间的关系（下）

1513播放

08:49

2.3 谓词公式间的关系（下）

[44] 重难点解析

2605播放

01:50

重难点解析

[45] 重难点解析

1625播放

05:22

重难点解析

[46] 重难点解析

1549播放

02:59

重难点解析

[47] 重难点解析

1356播放

01:38

重难点解析

[48] 重难点解析

1696播放

04:44

重难点解析

[49] 2.4 前束范式（上）

2746播放

08:05

2.4 前束范式（上）

[50] 2.4 前束范式（下）

1724播放

08:06

2.4 前束范式（下）

[51] 2.5 谓词逻辑推理理论（上）

2442播放

07:01

2.5 谓词逻辑推理理论（上）

[52] 2.5 谓词逻辑推理理论（下）（上...

2165播放

07:02

2.5 谓词逻辑推理理论（下）（上）

[53] 2.5 谓词逻辑推理理论（下）（下...

1552播放

07:06

2.5 谓词逻辑推理理论（下）（下）

[54] 2.6 谓词逻辑小结

1588播放

09:53

2.6 谓词逻辑小结

[55] 重难点解析

1704播放

05:27

重难点解析

[56] 3.1 集合论简介

3225播放

04:07

3.1 集合论简介

[57] 3.2 集合的基本概念（上）

3495播放

07:14

3.2 集合的基本概念（上）

[58] 3.2 集合的基本概念（下）

2222播放

07:11

3.2 集合的基本概念（下）

[59] 3.3 幂集和集族

2835播放

04:47

3.3 幂集和集族

[60] 3.4 集合运算及其性质

3015播放

07:24

3.4 集合运算及其性质

[61] 3.6 有限集合的计数

2470播放

04:52

3.6 有限集合的计数

[62] 重难点分析

1953播放

02:14

重难点分析

[63] 重难点分析

2255播放

02:04

重难点分析

[64] 4.1 二元关系的定义及表示（上）

4605播放

06:42

4.1 二元关系的定义及表示（上）

[65] 4.1 二元关系的定义及表示（下）

2584播放

06:46

4.1 二元关系的定义及表示（下）

[66] 4.2 关系的性质

3779播放

06:08

4.2 关系的性质

[67] 4.3 关系的运算（上）

3184播放

06:08

4.3 关系的运算（上）

[68] 4.3 关系的运算（下）

2260播放

06:10

4.3 关系的运算（下）

[69] 4.4 .关系的性质与运算的联系

3040播放

09:34

4.4 .关系的性质与运算的联系

[70] 4.5 等价关系与划分

3027播放

06:55

4.5 等价关系与划分

[71] 4.6 相容关系与覆盖

2290播放

05:39

4.6 相容关系与覆盖

[72] 4.7 偏序关系

2591播放

09:59

4.7 偏序关系

[73] 重难点分析

1705播放

02:48

重难点分析

[74] 重难点分析

1654播放

02:19

重难点分析

[75] 重难点分析

1348播放

03:08

重难点分析

[76] 5.1 函数的定义和分类（上）

2643播放

06:08

5.1 函数的定义和分类（上）

[77] 5.1 函数的定义和分类（下）

1865播放

06:10

5.1 函数的定义和分类（下）

[78] 5.2 函数的运算

2263播放

07:15

5.2 函数的运算

[79] 7.0 代数结构简介

3640播放

08:13

7.0 代数结构简介

[80] 7.1 二元运算及其性质（上）（上...

2756播放

05:04

7.1 二元运算及其性质（上）（上）

[81] 7.1 二元运算及其性质（上）（下...

1805播放

05:05

7.1 二元运算及其性质（上）（下）

[82] 7.1 二元运算及其性质（下）（上...

1565播放

05:08

7.1 二元运算及其性质（下）（上）

[83] 7.1 二元运算及其性质（下）（下...

1477播放

05:07

7.1 二元运算及其性质（下）（下）

[84] 7.1 二元运算及其性质（下）

1656播放

08:09

7.1 二元运算及其性质（下）

[85] 7.1 二元运算及其性质（下）（上...

2168播放

07:30

7.1 二元运算及其性质（下）（上）

[86] 7.1 二元运算及其性质（下）（下...

1200播放

07:27

7.1 二元运算及其性质（下）（下）

[87] 7.2 代数系统（上）（上）

2281播放

05:17

7.2 代数系统（上）（上）

[88] 7.2 代数系统（上）（下）

1127播放

05:17

7.2 代数系统（上）（下）

[89] 7.2 代数系统（下）

1718播放

08:24

7.2 代数系统（下）

[90] 8.1 群的定义及其性质（上）

3139播放

09:17

8.1 群的定义及其性质（上）

[91] 8.1 群的定义及其性质（下）（上...

1709播放

12:56

8.1 群的定义及其性质（下）（上）

[92] 8.1 群的定义及其性质（下）（下...

1434播放

12:54

8.1 群的定义及其性质（下）（下）

[93] 8.2 子群与陪集（上）（上）

1895播放

07:31

8.2 子群与陪集（上）（上）

[94] 8.2 子群与陪集（上）（下）

1022播放

07:32

8.2 子群与陪集（上）（下）

[95] 8.2 子群与陪集（下）（上）

1636播放

10:55

8.2 子群与陪集（下）（上）

[96] 8.2 子群与陪集（下）（下）

1510播放

10:55

8.2 子群与陪集（下）（下）

[97] 8.3 特殊的群（上）

1117播放

05:35

8.3 特殊的群（上）

[98] 8.3 特殊的群（下）

1030播放

05:32

8.3 特殊的群（下）

[99] 8.5 群论初步小结（上）

2440播放

05:55

8.5 群论初步小结（上）

[100] 8.5 群论初步小结（下）

1000播放

05:54

8.5 群论初步小结（下）

[101] 重难点解析

1361播放

07:28

重难点解析

[102] 数理逻辑实验

2736播放

待播放

数理逻辑实验

[103] 集合论实验

1554播放

04:06

集合论实验

[104] 图论实验

2343播放

04:14

图论实验

[105] 10.1 图论及图的基本介绍

3505播放

03:30

10.1 图论及图的基本介绍

[106] 10.2 图的定义

2573播放

09:22

10.2 图的定义

[107] 10.3 可图化与可简单图化

1788播放

04:33

10.3 可图化与可简单图化

[108] 10.4 图的同构分类与运算

2222播放

07:38

10.4 图的同构分类与运算

[109] 重难点分析

1275播放

03:24

重难点分析

[110] 重难点分析

1916播放

02:55

重难点分析

[111] 11.1 通路与回路的定义

2426播放

05:54

11.1 通路与回路的定义

[112] 11.2 无向图的连通性

2474播放

07:36

11.2 无向图的连通性

[113] 11.3 有向图的连通性

1596播放

05:15

11.3 有向图的连通性

[114] 12.1 邻接矩阵（上）

1862播放

05:05

12.1 邻接矩阵（上）

[115] 12.1 邻接矩阵（下）

1180播放

05:04

12.1 邻接矩阵（下）

[116] 12.2 可达矩阵

1417播放

05:23

12.2 可达矩阵

[117] 12.3 关联矩阵

1481播放

06:28

12.3 关联矩阵

[118] 13.1 树与生成树（上）

2089播放

06:01

13.1 树与生成树（上）

[119] 13.1 树与生成树（下）

1693播放

06:02

13.1 树与生成树（下）

[120] 13.2 最小生成树

1969播放

08:56

13.2 最小生成树

[121] 13.3 根数与二叉树（上）

1581播放

05:50

13.3 根数与二叉树（上）

[122] 13.3 根数与二叉树（下）

768播放

05:47

13.3 根数与二叉树（下）

[123] 13.4. 欧拉图

1795播放

05:15

13.4. 欧拉图

[124] 13.5. 哈密顿图

2240播放

04:03

13.5. 哈密顿图

[125] 13.6. 二分图与平面图

2100播放

03:24

13.6. 二分图与平面图

[126] 重难点分析

1307播放

03:14

重难点分析

[127] 重难点分析

1534播放

04:13

重难点分析

[128] 章节要点回顾

1583播放

08:09

章节要点回顾