离散数学-2.6 谓词逻辑小结-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

2.6 谓词逻辑小结

1518 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(128)

自动播放

[1] 课程导论

3.9万播放

07:55

课程导论

[2] 1.0 数理逻辑简介

1.7万播放

03:12

1.0 数理逻辑简介

[3] 1.1命题的基本概念

1.0万播放

09:58

1.1命题的基本概念

[4] 1.2 联结词（上）

9418播放

11:50

1.2 联结词（上）

[5] 1.2 联结词（下）

3897播放

11:51

1.2 联结词（下）

[6] 1.3 命题公式（上）

8418播放

11:59

1.3 命题公式（上）

[7] 1.3 命题公式（下）

3171播放

11:56

1.3 命题公式（下）

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

5976播放

08:08

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

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

4304播放

07:35

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

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

2207播放

07:40

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

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

4241播放

08:11

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

[12] 重难点解析

4205播放

04:02

重难点解析

[13] 重难点解析（上）

3957播放

07:15

重难点解析（上）

[14] 重难点解析（下）

1807播放

07:16

重难点解析（下）

[15] 重难点解析

3315播放

01:28

重难点解析

[16] 重难点解析

2954播放

03:24

重难点解析

[17] 重难点解析

3135播放

06:30

重难点解析

[18] 重难点解析

2563播放

03:25

重难点解析

[19] 重难点解析

3168播放

01:45

重难点解析

[20] 重难点解析

2639播放

02:14

重难点解析

[21] 重难点解析

2053播放

02:19

重难点解析

[22] 重难点解析

2457播放

04:47

重难点解析

[23] 重难点解析

2535播放

02:38

重难点解析

[24] 重难点解析

2067播放

03:40

重难点解析

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

4432播放

07:02

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

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

1783播放

07:03

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

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

4001播放

11:01

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

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

2118播放

11:06

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

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

4184播放

08:48

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

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

1372播放

08:51

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

[31] 1.7 命题逻辑小结

1910播放

08:59

1.7 命题逻辑小结

[32] 重难点解析

2401播放

03:21

重难点解析

[33] 重难点解析

1544播放

02:25

重难点解析

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

3258播放

05:07

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

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

1696播放

05:03

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

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

2399播放

05:02

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

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

1193播放

05:06

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

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

2699播放

06:21

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

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

1170播放

06:21

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

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

2396播放

05:18

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

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

1041播放

05:20

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

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

2903播放

08:49

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

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

1383播放

08:49

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

[44] 重难点解析

2555播放

01:50

重难点解析

[45] 重难点解析

1575播放

05:22

重难点解析

[46] 重难点解析

1489播放

02:59

重难点解析

[47] 重难点解析

1296播放

01:38

重难点解析

[48] 重难点解析

1646播放

04:44

重难点解析

[49] 2.4 前束范式（上）

2596播放

08:05

2.4 前束范式（上）

[50] 2.4 前束范式（下）

1624播放

08:06

2.4 前束范式（下）

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

2342播放

07:01

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

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

2095播放

07:02

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

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

1472播放

07:06

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

[54] 2.6 谓词逻辑小结

1518播放

待播放

2.6 谓词逻辑小结

[55] 重难点解析

1634播放

05:27

重难点解析

[56] 3.1 集合论简介

3025播放

04:07

3.1 集合论简介

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

3365播放

07:14

3.2 集合的基本概念（上）

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

2122播放

07:11

3.2 集合的基本概念（下）

[59] 3.3 幂集和集族

2725播放

04:47

3.3 幂集和集族

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

2845播放

07:24

3.4 集合运算及其性质

[61] 3.6 有限集合的计数

2360播放

04:52

3.6 有限集合的计数

[62] 重难点分析

1843播放

02:14

重难点分析

[63] 重难点分析

2145播放

02:04

重难点分析

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

4355播放

06:42

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

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

2424播放

06:46

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

[66] 4.2 关系的性质

3589播放

06:08

4.2 关系的性质

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

3014播放

06:08

4.3 关系的运算（上）

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

2190播放

06:10

4.3 关系的运算（下）

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

2980播放

09:34

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

[70] 4.5 等价关系与划分

2947播放

06:55

4.5 等价关系与划分

[71] 4.6 相容关系与覆盖

2200播放

05:39

4.6 相容关系与覆盖

[72] 4.7 偏序关系

2431播放

09:59

4.7 偏序关系

[73] 重难点分析

1605播放

02:48

重难点分析

[74] 重难点分析

1604播放

02:19

重难点分析

[75] 重难点分析

1268播放

03:08

重难点分析

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

2343播放

06:08

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

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

1755播放

06:10

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

[78] 5.2 函数的运算

2183播放

07:15

5.2 函数的运算

[79] 7.0 代数结构简介

3470播放

08:13

7.0 代数结构简介

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

2646播放

05:04

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

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

1725播放

05:05

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

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

1515播放

05:08

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

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

1417播放

05:07

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

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

1616播放

08:09

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

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

2118播放

07:30

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

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

1160播放

07:27

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

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

2161播放

05:17

7.2 代数系统（上）（上）

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

1097播放

05:17

7.2 代数系统（上）（下）

[89] 7.2 代数系统（下）

1678播放

08:24

7.2 代数系统（下）

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

2939播放

09:17

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

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

1629播放

12:56

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

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

1344播放

12:54

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

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

1785播放

07:31

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

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

962播放

07:32

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

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

1576播放

10:55

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

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

1450播放

10:55

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

[97] 8.3 特殊的群（上）

1077播放

05:35

8.3 特殊的群（上）

[98] 8.3 特殊的群（下）

990播放

05:32

8.3 特殊的群（下）

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

2290播放

05:55

8.5 群论初步小结（上）

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

950播放

05:54

8.5 群论初步小结（下）

[101] 重难点解析

1311播放

07:28

重难点解析

[102] 数理逻辑实验

2646播放

09:08

数理逻辑实验

[103] 集合论实验

1314播放

04:06

集合论实验

[104] 图论实验

2263播放

04:14

图论实验

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

3105播放

03:30

10.1 图论及图的基本介绍

[106] 10.2 图的定义

2353播放

09:22

10.2 图的定义

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

1688播放

04:33

10.3 可图化与可简单图化

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

2072播放

07:38

10.4 图的同构分类与运算

[109] 重难点分析

1185播放

03:24

重难点分析

[110] 重难点分析

1856播放

02:55

重难点分析

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

2266播放

05:54

11.1 通路与回路的定义

[112] 11.2 无向图的连通性

2374播放

07:36

11.2 无向图的连通性

[113] 11.3 有向图的连通性

1536播放

05:15

11.3 有向图的连通性

[114] 12.1 邻接矩阵（上）

1802播放

05:05

12.1 邻接矩阵（上）

[115] 12.1 邻接矩阵（下）

1120播放

05:04

12.1 邻接矩阵（下）

[116] 12.2 可达矩阵

1357播放

05:23

12.2 可达矩阵

[117] 12.3 关联矩阵

1431播放

06:28

12.3 关联矩阵

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

1989播放

06:01

13.1 树与生成树（上）

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

1653播放

06:02

13.1 树与生成树（下）

[120] 13.2 最小生成树

1929播放

08:56

13.2 最小生成树

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

1551播放

05:50

13.3 根数与二叉树（上）

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

728播放

05:47

13.3 根数与二叉树（下）

[123] 13.4. 欧拉图

1665播放

05:15

13.4. 欧拉图

[124] 13.5. 哈密顿图

2180播放

04:03

13.5. 哈密顿图

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

2030播放

03:24

13.6. 二分图与平面图

[126] 重难点分析

1247播放

03:14

重难点分析

[127] 重难点分析

1494播放

04:13

重难点分析

[128] 章节要点回顾

1463播放

08:09

章节要点回顾