专题1

第1节：命题的基本概念-2：逻辑联结词

主讲：计算机-刘老师

（00:28:37） 开始学习

第3节：命题的公式及其真值表-4：逻辑等值的命题公式

主讲：计算机-刘老师

（00:26:31） 开始学习

第5节：命题公式的范式

主讲：计算机-刘老师

（00:28:06） 开始学习

第6节：联结词集合的功能完备性-7：命题逻辑中的推理

主讲：计算机-刘老师

（00:23:08） 开始学习

专题2

第1节：个体、谓词、量词、函数-2：谓词公式及命题的符号化

主讲：计算机-刘老师

（00:28:15） 开始学习

第3节：谓词公式的解释和类型-4：逻辑等值的谓词公式

主讲：计算机-刘老师

（00:17:17） 开始学习

第5节：谓词公式的前束范式-6：谓词逻辑中的推理

主讲：计算机-刘老师

（00:19:48） 开始学习

专题3

第1节：集合、映射的有关概念

主讲：计算机-刘老师

（00:50:59） 开始学习

第2节：运算的定义和性质

主讲：计算机-刘老师

（00:27:59） 开始学习

第3节：集合的运算、划分和覆盖

主讲：计算机-刘老师

（00:22:44） 开始学习

第4节：集合对等-5：关系的概念、运算和性质

主讲：计算机-刘老师

（00:43:04） 开始学习

第6节：关系的闭包-7：等价、相容、偏序关系

主讲：计算机-刘老师

（01:04:19） 开始学习

专题4

第1节：图的基本概念-2：节点的度数

主讲：计算机-刘老师

（00:22:25） 开始学习

第3节：路与回路-4：图的连通性

主讲：计算机-刘老师

（00:25:06） 开始学习

第5节：图的矩阵表示-6：赋权图及最短路径

主讲：计算机-刘老师

（00:25:57） 开始学习

第7节：欧拉图-8：哈密顿

主讲：计算机-刘老师

（00:16:51） 开始学习

专题5

专题5：树、平面图与图的着色

主讲：计算机-刘老师

（00:38:00） 开始学习

专题6

专题6：代数结构

主讲：计算机-刘老师

（00:31:41） 开始学习