欢迎来到公益课程平台
问题答疑
首页
公益课程
公开课
更多
首页
公益课程
公开课
扫码下载Android
扫码下载iOS
教师登录
学生登录
首页
公益课程
公开课
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
离散数学
课程类型：
选修课
发布时间：
2020-03-09 20:08:46
主讲教师：
课程来源：
建议学分：
0.00分
课程编码：
aymk000224
课程介绍
课程目录
教师团队
{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分钟）
新ICP备2024009757号-1