慕课-英华学堂

首页 - 课程列表 - 课程详情

离散数学

课程类型：选修课

主讲教师：陈琼

课程来源：华南理工大学

建议学分：3.00分

课程编码：xtzx0576

第1章命题逻辑

s 1.1 命题与联结词（8分钟）

s 1.1 命题与联结词（19分钟）

s 1.2 命题公式及其分类（9分钟）

s 1.3 命题演算的关系式（13分钟）

s 1.3 命题演算的关系式（7分钟）

s 1.4 范式（20分钟）

s 1.4 范式（15分钟）

s 1.5 命题演算的推理（9分钟）

s 1.5 命题演算的推理（18分钟）

第2章谓词逻辑

s 2.1 谓词逻辑的基本概念（21分钟）

s 2.2 谓词演算公式（11分钟）

s 2.3 谓词公式的解释和分类（13分钟）

s 2.4 谓词演算的关系式（21分钟）

s 2.5 前束范式（7分钟）

s 2.6 谓词演算的推理（12分钟）

s 2.6 谓词演算的推理（25分钟）

第3章集合

s 3.1 集合的基本概念和表示法（9分钟）

s 3.2 集合的关系（10分钟）

s 3.3 集合的运算（12分钟）

s 3.4 后继数和自然数（4分钟）

第4章关系和函数

s 4.1 关系的概念与笛卡尔积（17分钟）

s 4.2 关系的表示法（5分钟）

s 4.3 关系的运算（23分钟）

s 4.4 关系的性质（18分钟）

s 4.5 关系闭包（12分钟）

s 4.6 等价关系（15分钟）

s 4.7 偏序关系（16分钟）

s 4.8 函数（8分钟）

s 4.8 函数（8分钟）

s 4.8 函数（11分钟）

第三部分图论

s 图论的起源和发展（6分钟）

第5章图论

s 5.1 图的基本概念（11分钟）

s 5.1 图的基本概念（10分钟）

s 5.1 图的基本概念（5分钟）

s 5.1 图的基本概念（6分钟）

s 5.2 通路、回路、连通的概念（6分钟）

s 5.2 通路、回路、连通的概念（12分钟）

s 5.3 图的表示（17分钟）

第6章特殊图

s 6.1 欧拉图（10分钟）

s 6.2 哈密顿图（11分钟）

s 6.3 最短路径问题（7分钟）

s 6.4 中国邮路问题（7分钟）

s 6.5 匹配和二分图（11分钟）

s 6.6 平面图（11分钟）

s 6.6 平面图（10分钟）

第7章树

s 7.1 树的定义和生成树（8分钟）

s 7.2 根树（16分钟）

s 7.3 根树的应用（15分钟）