当前课程知识点:离散数学 > 第3章 集合 > 3.3 集合的运算 > 集合的运算
-1.1 命题与联结词
--命题
--联结词
--1.1 练习
-1.2 命题公式及其分类
--命题公式及其分类
--1.2 练习
-1.3 命题演算的关系式
--等值演算
--其它联结词
--1.3 练习
-作业1
--作业1
--讨论1
--作业1解答
-1.4 范式
--主析取范式
--主合取范式
--1.4 练习
-1.5 命题演算的推理
--推理定理
--推理证明方法
--1.5 练习
-作业2
--作业2
--作业2解答
-2.1 谓词逻辑的基本概念
--2.1练习
-2.2 谓词演算公式
--谓词演算公式
--2.2练习
-2.3 谓词公式的解释和分类
--2.3练习
-作业3
--作业3
--作业3解答
-2.4 谓词演算的关系式
--谓词演算的关系式
--2.4练习
-2.5 前束范式
--前束范式
--2.5练习
-2.6 谓词演算的推理
--2.6练习
-作业4
--作业4
--讨论2
--作业4解答
-测验1
--单元测验1
-3.1 集合的基本概念和表示法
--3.1练习
-3.2 集合的关系
--集合的关系
--3.2练习
-3.3 集合的运算
--集合的运算
--3.3练习
-3.4 后继数和自然数
--后继数与自然数
-作业5
--作业5
--作业5解答
-4.1 关系的概念与笛卡尔积
--4.1练习
-4.2 关系的表示法
--关系的表示法
--4.2练习
-4.3 关系的运算
--关系的运算
--4.3练习
-4.4 关系的性质
--关系的性质
--4.4练习
-作业6
--作业6
--作业6解答
-4.5 关系闭包
--关系闭包
--4.5练习
--讨论3
-4.6 等价关系
--等价关系
--4.6练习
-4.7 偏序关系
--偏序关系
--4.7练习
-4.8 函数
--函数的定义
--集合的基数
--4.8练习
-作业7
--作业7
--作业7解答
-测验2
--单元测验2
-图论的起源和发展
--图论的起源和发展
-5.1 图的基本概念
--图的基本概念
--图的分类
--子图和补图
--图的同构
--5.1练习
-5.2 通路、回路、连通的概念
--通路和回路
--连通的概念
--5.2练习
-5.3 图的表示
--图的表示
--5.3练习
-作业8
--作业8
--作业8解答
-6.1 欧拉图
--欧拉图
--6.1练习
-6.2 哈密顿图
--哈密顿图
--6.2练习
--定理2证明
-6.3 最短路径问题
--最短路径问题
--6.3练习
-作业9
--作业9
--作业9解答
-6.4 中国邮路问题
--中国邮路问题
--6.4练习
-6.5 匹配和二分图
--匹配和二分图
--定理2的证明
--6.5练习
-6.6 平面图
--对偶图和图的着色
--6.6练习
--讨论4
--学习资源
-作业10
--作业10
--作业10解答
-7.1 树的定义和生成树
--树的定义和生成树
--7.1练习
-7.2 根树
--根树
--7.2练习
-7.3 根树的应用
--根树的应用
--7.3练习
-作业11
--作业11
--讨论5
--作业11解答
-测验3
--单元测验3
-期末考试