欢迎来到在线教学平台
问题答疑
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
扫码下载Android
扫码下载iOS
教师登录
学生登录
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
离散数学
课程类型:
选修课
发布时间:
2020-03-09 20:08:46
主讲教师:
课程来源:
建议学分:
0.00分
课程编码:
mk000224
课程介绍
课程目录
教师团队
{1}--第一讲集合论基础
[1.1.1]--集合的初见
(15分钟)
[1.2.1]--1.2特殊集合与集合间关系
(21分钟)
[1.3.1]--1.3集合的运算视频
(11分钟)
[1.4.1]--1.4集合的运算定律 视频
(14分钟)
[1.5.1]--1.5可数集合与不可数集合 视频
(24分钟)
{2}--第二讲命题逻辑(第一部分)
[2.1.1]--2.1什么是命题
(14分钟)
[2.2.1]--2.2命题联结词
(20分钟)
[2.3.1]--2.3命题符号化及其应用
(26分钟)
[2.4.1]--2.4命题公式和真值表
(17分钟)
[2.5.1]--2.5命题公式分类和等价
(12分钟)
[2.6.1]--2.6命题等价公式及应用
(26分钟)
{3}--第三讲命题逻辑(第二部分)
[3.1.1]--2.7范式
(22分钟)
[3.2.1]--2.8主范式
(40分钟)
[3.3.1]--2.9命题蕴涵公式
(16分钟)
[3.4.1]--2.10演绎法推理
(28分钟)
{4}--第四讲谓词逻辑(第一部分)
[4.1.1]--3.1谓词引入
(16分钟)
[4.2.1]--3.2量词引入
(19分钟)
[4.3.1]--3.3谓词符号化
(15分钟)
[4.4.1]--3.4谓词公式
(9分钟)
[4.5.1]--3.5自由变元和约束变元
(12分钟)
{5}--第五讲谓词逻辑(第二部分)
[5.1.1]--3.6公式解释和分类
(9分钟)
[5.2.1]--3.7公式等价
(11分钟)
[5.3.1]--3.8前束范式(可选)
(11分钟)
[5.4.1]--3.9推理形式和推理规则
(17分钟)
[5.5.1]--3.10谓词综合推理
(20分钟)
{6}--第六讲二元关系
[6.1.1]--4.1序偶和笛卡尔积
(11分钟)
[6.2.1]--4.2关系定义
(12分钟)
[6.3.1]--4.3关系的表示
(13分钟)
[6.4.1]--4.4关系的运算
(13分钟)
[6.5.1]--4.5关系的运算定律
(17分钟)
[6.6.1]--4.6关系的幂运算
(15分钟)
[6.7.1]--4.7关系的性质一
(27分钟)
[6.8.1]--4.8关系的性质二(可选)
(17分钟)
[6.9.1]--4.9关系的闭包(可选)
(15分钟)
{7}--第七讲特殊关系和函数
[7.1.1]--5.1等价关系
(26分钟)
[7.2.1]--5.2集合的划分
(13分钟)
[7.3.1]--5.3偏序关系
(15分钟)
[7.4.1]--5.4哈斯图和特殊元素
(24分钟)
[7.5.1]--5.5其它次序关系(可选)
(15分钟)
[7.6.1]--6.1函数的定义
(11分钟)
[7.7.1]--6.2函数的类型
(16分钟)
[7.8.1]--6.3函数的运算
(14分钟)
{8}--第八讲图论基础
[8.1.1]--视频-图的引入
(13分钟)
[8.1.2]--视频-图的表示
(9分钟)
[8.1.3]--视频-图的分类
(11分钟)
[8.1.4]--视频-子图和补图
(22分钟)
[8.1.5]--视频-握手定理
(18分钟)
[8.1.6]--视频-图的同构
(11分钟)
[8.2.1]--通路和回路-视频
(27分钟)
[8.2.2]--可达性与最短通路-视频
(19分钟)
[8.2.3]--无向图的连通性-视频
(17分钟)
[8.2.4]--有向图的连通性-视频
(26分钟)
{9}--第九讲树
[9.1.1]--认识树-视频
(10分钟)
[9.1.2]--无向树-视频
(17分钟)
[9.1.3]--生成树-视频
(14分钟)
[9.1.4]--最小生成树-视频
(10分钟)
[9.2.1]--根树-视频
(16分钟)
[9.2.2]--根树的遍历-视频
(13分钟)
[9.2.3]--最优树和哈夫曼算法-视频
(16分钟)
{10}--第十讲特殊图
[10.1.1]--9.1欧拉图
(17分钟)
[10.2.1]--9.2哈密顿图
(30分钟)
[10.3.1]--9.3偶图
(31分钟)
[10.4.1]--9.4平面图
(27分钟)