欢迎来到在线教学平台
问题答疑
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
扫码下载Android
扫码下载iOS
教师登录
学生登录
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
离散数学
课程类型:
选修课
发布时间:
2021-06-07 16:06:26
主讲教师:
陈琼
课程来源:
华南理工大学
建议学分:
3.00分
课程编码:
xtzx0576
课程介绍
课程目录
教师团队
第1章 命题逻辑
1.1 命题与联结词
(8分钟)
1.1 命题与联结词
(19分钟)
1.2 命题公式及其分类
(9分钟)
1.3 命题演算的关系式
(13分钟)
1.3 命题演算的关系式
(7分钟)
1.4 范式
(20分钟)
1.4 范式
(15分钟)
1.5 命题演算的推理
(9分钟)
1.5 命题演算的推理
(18分钟)
第2章 谓词逻辑
2.1 谓词逻辑的基本概念
(21分钟)
2.2 谓词演算公式
(11分钟)
2.3 谓词公式的解释和分类
(13分钟)
2.4 谓词演算的关系式
(21分钟)
2.5 前束范式
(7分钟)
2.6 谓词演算的推理
(12分钟)
2.6 谓词演算的推理
(25分钟)
第3章 集合
3.1 集合的基本概念和表示法
(9分钟)
3.2 集合的关系
(10分钟)
3.3 集合的运算
(12分钟)
3.4 后继数和自然数
(4分钟)
第4章 关系和函数
4.1 关系的概念与笛卡尔积
(17分钟)
4.2 关系的表示法
(5分钟)
4.3 关系的运算
(23分钟)
4.4 关系的性质
(18分钟)
4.5 关系闭包
(12分钟)
4.6 等价关系
(15分钟)
4.7 偏序关系
(16分钟)
4.8 函数
(8分钟)
4.8 函数
(8分钟)
4.8 函数
(11分钟)
第三部分 图论
图论的起源和发展
(6分钟)
第5章 图论
5.1 图的基本概念
(11分钟)
5.1 图的基本概念
(10分钟)
5.1 图的基本概念
(5分钟)
5.1 图的基本概念
(6分钟)
5.2 通路、回路、连通的概念
(6分钟)
5.2 通路、回路、连通的概念
(12分钟)
5.3 图的表示
(17分钟)
第6章 特殊图
6.1 欧拉图
(10分钟)
6.2 哈密顿图
(11分钟)
6.3 最短路径问题
(7分钟)
6.4 中国邮路问题
(7分钟)
6.5 匹配和二分图
(11分钟)
6.6 平面图
(11分钟)
6.6 平面图
(10分钟)
第7章 树
7.1 树的定义和生成树
(8分钟)
7.2 根树
(16分钟)
7.3 根树的应用
(15分钟)