1、命题逻辑：熟练进行命题逻辑符号化，构造真值表，命题等值演算，命题推理；
2、谓词逻辑：熟练进行谓词逻辑符号化，量词消去，谓词公式等值演算；
3、集合与关系：熟练进行集合的并交差补运算，集合之间的关系判定，幂集运算，二元关系的自反、对称、传递性质判定，熟练求解二元关系的自反、对称、传递闭包，熟练求解偏序集中的特殊元素；
4、函数：熟练进行函数的判定，函数的性质判定，函数的复合运算；
5、代数系统：熟练掌握二元运算的性质，熟练进行群、半群和独异点的判定，熟练求解代数系统中的特殊元素并证明；
6、格：熟练进行格的判定；
7、图论：熟练运用图的结点、边、补图的性质，熟练进行欧拉图、汉密尔顿图的判定，熟练求解小生成树、优二元树。