首页

投稿

离散数学——莆田学院（42讲）

33.2万

805

2020-05-28 16:58:47

未经作者授权，禁止转载

教师：廖丹一、课程介绍 “离散数学”是一门相对于“连续数学”而命名的数学分支。产生于数学游戏(如一笔画、过渡、组合、计数等)，分散于各个分支，计算机的产生推动了其形成和发展。二、教学目标 1、培养学生逻辑思维和想象能力。 2、用形式化的思维认识问题和解决问题的能力及形式化证明的思想。 3、理解和掌握思维和计算中重要的知识表示与处理方法。 4、了解以上知识在计算科学和教育科学中的应用。

Sunny_Lifeform 发消息

第一章命题逻辑基本概念第1节命题与联结词

07:04

第一章命题逻辑基本概念第2节命题公式及其赋值

07:45

第一章命题逻辑基本概念习题课

03:07

第一章命题逻辑基本概念考试题目讲解

13:10

第二章命题逻辑等值运算第1节等值式

13:49

第二章命题逻辑等值运算第2节析取范式与合取范式

31:22

第二章命题逻辑等值运算复习

06:34

第二章命题逻辑等值运算习题课

15:12

第三章命题逻辑的推理理论第1节推理的形式结构

05:38

第三章命题逻辑的推理理论 3.1习题讲解

06:26

第三章命题逻辑的推理理论第2节自然推理系统 P

05:52

第三章命题逻辑的推理理论习题课

15:53

第四章一阶逻辑基本概念第1节一阶逻辑的符号化

20:18

第四章一阶逻辑基本概念第一节习题课

05:34

第四章一阶逻辑基本概念第2节一阶逻辑公式及解释

16:56

第四章一阶逻辑基本概念第四章习题讲解2

13:29

第四章一阶逻辑基本概念第四章复习讲解

27:22

第五章一阶逻辑等值演算与推理第1节一阶逻辑等值式与置换规则

10:17

第五章一阶逻辑等值演算与推理第2节一阶逻辑的前束范式

08:27

第五章一阶逻辑等值演算与推理第3节一阶逻辑推理理论

06:33

第五章一阶逻辑等值演算与推理习题讲解

09:16

第六章集合代数第1节集合的基本概念第2节集合的运算

12:12

第六章集合代数第3节集合恒等式

03:55

第七章二元关系第1节有序对与笛卡尔积

11:34

第七章第2节

18:20

第七章二元关系第3节关系的运算

34:09

第七章二元关系第4节关系的性质

46:02

第七章二元关系第6节等价关系与划分

35:39

第七章二元关系第6节等价关系与划分课堂练习讲解

14:57

第六章和第七章复习

01:24:20

第十四章图的基本概念第1节图

48:07

第十四章图的基本概念第2节通路和回路

16:06

第十四章图的基本概念第3节图的连通性

50:06

第十四章图的基本概念第4节图的矩阵表示

41:32

第十四章图的基本概念第14章复习

31:06

第十五章欧拉图与哈密顿图第1节欧拉图

30:41

第十五章欧拉图与哈密顿图第2节哈密顿图

26:26

第十五章欧拉图与哈密顿图复习与习题讲解

21:27

第十六章第1节

27:59

第十六章树第2节生成树

04:50

第十六章第3节

35:23

第十六章树习题讲解

28:03

顶部