欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
扫码下载Android
扫码下载iOS
教师登录
学生登录
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
离散数学
课程类型：
选修课
主讲教师：
建议学分：
0.00分
课程编码：
mk002894
课程介绍
课程目录
教师团队
{1}--命题逻辑的基本概念
s
[1.1.1]--1.1命题与联结词(2)
（31分钟）
s
[1.1.2]--1.1命题与联结词(1)
（22分钟）
s
[1.2]--1.2命题公式及其赋值@
（24分钟）
{2}--命题逻辑等值演算
s
[2.1]--2.1等值式视频
（28分钟）
s
[2.2.1]--2.2.主范式视频
（17分钟）
s
[2.2.2]--2.2析取范式与合取范式（1）视频
（16分钟）
{3}--命题逻辑的推理理论
s
[3.1]--3.1推理的形式结构视频
（18分钟）
s
[3.2]--3.2自然推理系统P视频
（16分钟）
{4}--一阶逻辑基本概念
s
[4.1]--4.1一阶逻辑的命题符号化视频
（20分钟）
s
[4.2]--4.2一阶逻辑公式及其解释（1）谓词公式、辖域、约束自由变元
（17分钟）
{5}--一阶逻辑等值演算与推理
s
[5.1]--5.1一阶逻辑等值演算与置换规则视频
（17分钟）
s
[5.2]--5.2一阶逻辑前束范式视频
（16分钟）
s
[5.3]--5.3一阶逻辑推理理论视频
（19分钟）
{7}--二元关系
s
[7.3.1]--7.3关系的运算（2）视频
（13分钟）
s
[7.3.2]--7.3关系的运算（1）视频_
（16分钟）
s
[7.4]--7.4关系的性质视频_
（18分钟）
s
[7.6]--7.6等价关系与划分视频
（15分钟）
s
[7.7]--7.7偏序关系与实例视频
（17分钟）
{9}--欧拉图与哈密顿图
s
[9.1]--欧拉图(2)
（16分钟）
s
[9.2.1]--哈密顿图录屏（下）
（7分钟）
s
[9.2.2]--哈密顿图录屏
（19分钟）
{10}--树
s
[10.1]--10.1无向树的的定义及其性质
（20分钟）
s
[10.3]--10.3根树录屏
（19分钟）
