一、数理逻辑

1. 命题逻辑

2. 等值演算

3. 主合取范式、主析取范式

4. 【题】推理证明

5. 辖域、自由变元、约束变元

二、集合

1. 环和、环积，幂集，笛卡尔乘积

三、 二元关系

1. 自反、对称、传递

2&3. 合成运算，逆关系、闭包

4. 哈斯图、上下界、偏序

5. 等价关系、划分

四、代数

1. 幺元（么元、单位元）、零元、逆元，半群、群、阿尔贝群、独异点、循环独异点

2. 【题】由表判断

3. 【题】证明

五、图论

1. 简单图、平凡图、多重图、子图、补图、出度、入度、同构

2. 路径、回路、连通度、欧拉

3. 矩阵表示、矩阵转置、欧拉公式