第一部分
- 命题符号化(联结词的准确使用,注意:排斥或)
- 命题公式的真值分析(成真赋值、成假赋值)
- 公式的类型(重言式、矛盾式、可满足式)
- 等值演算(可用于解决实际问题)
- 公式的主范式、极大项、极小项
- 命题推理证明
- 一阶逻辑的命题符号化(注意个体域不同时符号化形式的不同)
- 给定解释,分析谓词公式的真值
- 前束范式
- 一阶逻辑推理证明
第二部分
- 集合的运算(并、交、补、对称差、广义并、广义交)
- 有穷集计数(包含排斥原理)
- 二元关系的表示(集合、关系图、关系矩阵)
- 关系的运算(域、逆、复合、限制、像)及运算满足的性质
- 关系的幂运算及其周期性
- 关系的性质及判断关系性质的方法
- 关系的闭包运算
- 等价关系、等价类、划分、商集
- 偏序关系及其哈斯图
- 最小元、最大元、极小元、极大元、上界、下界、上确界、下确界
- 函数的定义及其性质(单射、满射、双射)
- 像、完全原像
- 函数的复合、反函数
第三部分
- 集合上的二元运算的定义(集合对运算的封闭性)
- 二元运算的性质(幂等律、结合律、交换律、消去律、分配律、吸收律)
- 单位元、零元、可逆元
- 代数系统、子代数
- 代数系统的同态映射
- 代数系统的类型(半群、独异点、群)
- 群的阶、群中元素的阶
- 群的幂运算
- 子群的证明
第四部分
- 简单图画(握手定理、同构图)
- 各类图(完全图、竞赛图、生成子图、导出子图)
- 初级通路(路径)、简单通路、初级回路(圈)、简单回路
- 短程线
- 连通分支
- 点割集(割点)、边割集(桥)、连通度
- 有向图的连通性(强连通、单向连通、弱连通)
- 二部图及其性质(完全二部图)
- 图的矩阵表示(关联矩阵、邻接矩阵、可达矩阵)
- 利用邻接矩阵的幂运算计算图中通路数、回路数
- 欧拉图及哈密顿图的判断
- 最小生成树、最优二叉树
- 平面图的判断
- 欧拉公式