收藏
课程目录
0.1 引言
1.0 数理逻辑引言
1.1 命题及其符号化
1.2 命题公式和真值表
1.3 等值式
1.4 等值演算
1.5 推理
1.6 证明
1.7 谓词逻辑基本概念
1.8 谓词逻辑等值式
1.9 谓词逻辑推理定律
2.0 集合论引言
2.1 集合运算
2.2 容斥原理
2.3 笛卡尔积
2.4 二元关系
2.5 关系运算
2.6 关系的幂
2.7.1 关系的性质与闭包（1）
2.7.2 关系的性质与闭包（2）
2.8 等价关系与划分
2.9 偏序关系
3.0 图论引言
3.1 图与简单图
3.2 顶点的度
3.3 子图
3.4 路和圈
3.5 图与矩阵
3.6 连通性
3.7 欧拉图
3.8 哈密顿图
3.9 树
4.0 应用（中国邮递员问题）
1.0 数理逻辑引言
1.1 命题及其符号化
1.2 命题公式和真值表
1.3 等值式
1.4 等值演算
1.5 推理
1.6 证明
1.7 谓词逻辑基本概念
1.8 谓词逻辑等值式
1.9 谓词逻辑推理定律
2.0 集合论引言
2.1 集合运算
2.2 容斥原理
2.3 笛卡尔积
2.4 二元关系
2.5 关系运算
2.6 关系的幂
2.7.1 关系的性质与闭包（1）
2.7.2 关系的性质与闭包（2）
2.8 等价关系与划分
2.9 偏序关系
3.0 图论引言
3.1 图与简单图
3.2 顶点的度
3.3 子图
3.4 路和圈
3.5 图与矩阵
3.6 连通性
3.7 欧拉图
3.8 哈密顿图
3.9 树
4.0 应用（中国邮递员问题）
课程详情
本课程是应计算机科学的发展而组合形成的一门较新的交叉课程，涵盖了计算机科学对数学的一些基本要求。
本课程是应计算机科学的发展而组合形成的一门较新的交叉课程，涵盖了计算机科学对数学的一些基本要求。
本课程是应计算机科学的发展而组合形成的一门较新的交叉课程，涵盖了计算机科学对数学的一些基本要求。
