投稿

离散数学基础中山大学蔡国扬

6818

9

2020-02-10 01:27:10

课件：https://pan.baidu.com/s/1eT4xiMZ-dhU90CjkjRfQJQ 提取码：vad6

风琴剑发消息

已换号

恶魔猎手喜提第三专精，掌控虚空之力的远程杀手，快点来魔兽世界“至暗之夜”试试！

3000+人感兴趣

绪言

05:09

逻辑学概述

08:46

数理逻辑回顾

13:39

命题的概念及符号化

18:48

命题的合式公式

10:09

自然语言形式化

13:28

命题逻辑等值式

13:55

命题逻辑公式的等值置换

09:05

命题逻辑公式的对偶

08:12

命题逻辑公式的范式和主范式（一）

05:32

命题逻辑公式的范式和主范式（二）

11:49

命题逻辑公式的范式和主范式（三）

06:59

命题逻辑的推理结构（一）

08:33

命题逻辑的推理结构（二）

10:45

命题逻辑的自然演绎系统（一）

10:54

命题逻辑的自然演绎系统（二）

10:38

命题逻辑的归结推理方法

09:09

谓词逻辑的基本概念

17:46

谓词逻辑的自然语言形式化

08:44

基本的谓词等值式

14:58

谓词逻辑的推理结构

16:30

谓词逻辑的归结推理

10:55

谓词逻辑的归结反演系统

10:27

集合与元素

13:30

集合的蕴含与相等

08:26

集合的基本运算

11:07

关系的定义

11:54

关系的性质

13:49

关系的运算（一）

09:36

关系的运算（二）

11:35

偏序关系

16:57

格

10:05

函数的概念

15:07

集合的基数

07:09

有穷布尔代数

04:33

图的基本定义

14:54

道路与回路

16:59

图的邻接矩阵道路矩阵及Warshall算法

07:19

树的基本概念

09:32

图的关联矩阵及生成树数目

06:39

二元树与Huffman树

11:53

树与图的遍历

12:22

最短路径问题

07:24

作业网络和关键路径

07:32

TSP问题的近似解

04:45

最小生成树

05:15

平面图

15:27

图的染色

23:01

图的匹配理论

18:50

图的网络模型

21:33

顶部