一．命题逻辑
重点：联结词的基本性质.真值表的应用.等价演算法.主析取范式和主合取范式的求解与应用.推理理论.
难点：命题的符号化.用构造证明法证明推理有效.
二．谓词逻辑
重点：谓词的定义.量词的概念.换名规则和代入规则的应用.前束范式的求解.
推理理论.
难点：命题的符号化.用构造证明法证明推理有效.
三．集合与关系
重点：元素与集合的关系.集合之间的关系.幂集的概念.集合的基本运算.有穷集合的计数.笛卡儿积的运算和性质.关系的三种表示法及其转换.关系的基本运算.关系的五种性质.关系闭包的求解.等价关系与划分的有关定理及其应用.偏序集中八个特定元素的求解.
难点：关系性质的证明.偏序集中八个特定元素的求解.
四．函数
重点：函数的定义和性质.函数的复合.只有双射函数才有反函数.
难点：函数性质的证明.无限集合之间双射的构造.
五．图论