谓词公式、约束变元和自由变元（分知识点视频见下级目录）
上一节
下一节
目录
-
1 离散数学与思政教育
-
1.1 中国古代的数学
-
1.2 墨子的逻辑思想
-
-
2 绪论
-
2.1 离散数学概述
-
2.2 数理逻辑概述（分知识点视频见下级目录）
-
-
3 命题逻辑
-
3.1 命题与联结词（分知识点视频见下级目录）
-
3.2 合式公式（分知识点视频见下级目录）
-
3.3 公式分类与等价公式蕴涵式（分知识点视频见下级目录）
-
3.4 归纳法和对偶式（分知识点视频见下级目录）
-
3.5 主范式和联结词功能完全组（分知识点视频见下级目录）
-
3.6 推理理论（分知识点视频见下级目录）
-
3.7 总结
-
3.8 测试题目讲解
-
-
4 谓词逻辑
-
4.1 主词、谓词和量词（分知识点视频见下级目录）
-
4.2 谓词公式、约束变元和自由变元（分知识点视频见下级目录）
-
4.3 公式的解释和类型（分知识点视频见下级目录）
-
4.4 等价式、蕴含式和公式的范式（分知识点视频见下级目录）
-
4.5 谓词逻辑的推导理论（分知识点视频见下级目录）
-
-
5 集合
-
5.1 公理化集合论的基本概念（分知识点视频见下级目录）
-
5.2 ZFC集合论的公理（分知识点视频见下级目录）
-
5.3 集合的其它性质（分知识点视频见下级目录）
-
-
6 关系
-
6.1 有序对和笛卡尔积（分知识点视频见下级目录）
-
6.2 二元关系（分知识点视频见下级目录）
-
6.3 关系的运算（分知识点视频见下级目录）
-
6.4 关系的类型（分知识点视频见下级目录）
-
-
7 函数
-
7.1 函数基本概念和类型（分知识点视频见下级目录）
-
7.2 函数运算（分知识点视频见下级目录）
-
7.3 基数（分知识点视频见下级目录）
-
-
8 图的概念与表示
-
8.1 图的基本概念（分知识点视频见下级目录）
-
8.2 链（或路）与圈（或回路）（分知识点视频见下级目录）
-
8.3 图的矩阵表示（分知识点视频见下级目录）
-
8.4 最短链与关键路（分知识点视频见下级目录）
-
-
9 几种重要的图
-
9.1 欧拉图
-
9.2 汉密尔顿图
-
9.3 树
-
-
10 代数结构
-
10.1 代数结构的定义与例（分知识点视频见下级目录）
-
10.2 代数结构的基本性质（分知识点视频见下级目录）
-
10.3 同态与同构（分知识点视频见下级目录）
-
10.4 同余关系（分知识点视频见下级目录）
-
10.5 商代数和积代数（分知识点视频见下级目录）
-
-
11 离散数学期末考试试题解答与分析
-
11.1 填空题和选择
-
11.2 证明题
-
11.3 解答题
-
-
12 离散数学实验与编程
-
12.1 C语言总结与提高（1）
-
12.2 C语言总结与提高（2）
-
12.3 C语言总结与提高（3）
-
12.4 离散实验
-
