周次

课时

学习内容

作业

第一周

2学时

M1-U1 第一讲

第一章 命题逻辑（7学时）
1.1 命题及联结词

M1-U2 第二讲

1.2命题公式及其赋值

第一章 习题一：2,3,4,5,9,10

第二周

2学时

M1-U3 第三讲

1.3等值式

M1-U4 第四讲

1.4 析取范式与合取范式

第一章习题二：
一(2)(3)(5)(8)(10)
二(1)(2)(4)

第三周

2学时

M1-U5 第五讲

1.6推理理论

M2-U1 第六讲

1.6推理理论（续）

第一章习题三：
1，2，3

第四周

2学时

M2-U2 第七讲

1.7消解法
第一章小结

第一章习题三：
1，2，3

M2-U3 第一讲

第二章 谓词逻辑（5学时）
2.1 基本概念
2.2 谓词公式及其解释
2.2.1  合法的谓词公式

第五周

2学时

M2-U4 第二讲

2.2 谓词公式及其解释
2.2.2 个体变元的身份

第二章习题一

M2-U5 第三讲

2.2.3 谓词公式的真值
2.2.4  谓词公式的类型

第六周

2学时

M3-U1 第四讲

2.3谓词公式等值演算
2.4谓词公式的范式

第二章习题二

M3-U2 第五讲

2.5谓词推理
（第二章小结）

第二章习题三

第七周

2学时

M4-U1 第一讲

第三章 集合与关系（5学时）
3.1 基本概念
3.2 集合运算与性质
3.3 有穷集的计数

第三章习题一

M4-U2 第二讲

3.4序偶
3.5 直积或笛卡尔积

第八周

2学时

M4-U3 第三讲

3.6 关系
3.7 关系的复合

第三章习题二：
1-5

M4-U4 第四讲

3.8 关系分类
3.9 关系的闭包

第三章习题二：
1-5

第九周

2学时

M4-U5 第五讲

3.10 等价关系与集合的划分
3.11 偏序关系
（第三章小结）

第三章习题二：
6-10

M4-U6 第一讲

第四章 代数系统（7学时）
4.1 什么是代数运算
4.2 运算的定义

第四章 习题：
1-5

第十周

2学时

M4-U7 第二讲

4.3 运算的性质

第四章 习题：
1-5

M4-U8 第三讲

4.4 代数系统
4.6 半群

第四章 习题：
1-5

第十一周

2学时

M4-U9 第四讲

4.7 群
4.8 子群

第四章 习题：
1-5

M4-U10 第五讲

4.9 群的陪集分解

第四章 习题：
6

第十二周

2学时

M5-U1 第六讲

4.10 循环群
4.11 置换群

第四章 习题：
6

M5-U2 第七讲

4.12 环、域
（第四章小结）

第四章 习题：
6

第十三周

2学时

M6-U1 第一讲

第五章 图论（6学时）
5.1 图的概念与描述

第五章 习题（全做）

M6-U2 第二讲

5.2 图的连通性

第五章 习题（全做）

第十四周

2学时

M6-U3 第三讲

5.3 欧拉图
5.4 哈密尔顿图

第五章 习题（全做）

M6-U4 第四讲

5.5 平面图与四色猜想

第五章 习题（全做）