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