本课程旨在配合本科《离散数学（上）》课程，指导学生的课后习题解答方法。
具体内容为：（1）灵活运用命题逻辑、谓词逻辑的表示方法，翻译自然语句；按照逻辑运算规则，对逻辑式进行等价变换和求取范式；
掌握基础的逻辑推理规则和证明方法，判断逻辑论证是否有效，证明数学论述。
（2）掌握数据结构的基础知识：集合和序列、矩阵，用逻辑规则推证集合运算律，判断无穷集合的大小，推导序列求和公式，熟悉矩阵和0-1矩阵的运算。
（3）回顾总结基础算法，分析随输入规模增大的时间增长率，掌握函数增长率的大O和大西塔表示。
（4）学习整除定理和模算术，求解同余方程。
（5）掌握数学归纳法和递归定义；学习基本计数技术，建立初步的组合分析思维方法。
