一、考查目标
熟练掌握命题逻辑和谓词逻辑的基本概念及应用方法；熟练掌握集合、关系、函数的基本概念、运算及应用方法；熟练掌握代数系统的基本概念及研究方法；熟练掌握图论的基本概念及其应用。
二、考试形式与试卷结构
（一）试卷满分及考试时间
复试科目满分为100分，考试时间为2小时。
（二）答题方式
答题方式为闭卷、笔试。
（三）试卷内容结构
命题逻辑：20%左右；
谓词逻辑：10%左右；
集合与关系：25%左右；
函数：5%左右；
代数结构：15%左右；
格：5%左右；
图论：20%左右。
（四）试卷题型结构
填空题20分；
选择题20分；
证明题30分；
综合应用题30分。
三、考查内容及要求
1、命题逻辑：熟练进行命题逻辑符号化，构造真值表，命题等值演算，命题推理；
2、谓词逻辑：熟练进行谓词逻辑符号化，量词消去，谓词公式等值演算，谓词演算推理；
3、集合与关系：熟练进行集合的并交差补运算，集合之间的关系判定，幂集运算，二元关系的自反、对称、传递性质判定，熟练求解二元关系的自反、对称、传递闭包，熟练求解偏序集中的特殊元素，熟练求解关系的复合运算；
4、函数：熟练进行函数的判定，函数的性质判定，函数的复合运算；
5、代数结构：熟练掌握二元运算的性质，熟练进行群、半群和独异点的判定，熟练求解代数系统中的特殊元素并证明；
6、格：熟练进行格的判定；
7、图论：熟练运用图的结点、边、补图的性质，熟练进行欧拉图、汉密尔顿图的判定，熟练求解最小生成树、最优二元树。
四、考试用具说明
考试需携带黑色钢笔或签字笔答题。
五、参考书目或参考资料
1.左孝凌.《离散数学》（第1版）.上海科学技术文献出版社，2018.
