基本内容: (300字以内)
1、数理逻辑
命题逻辑等值演算，主析取与主合取范式，联结词完备集，命题逻辑推理理论，谓词逻辑，谓词逻辑等值演算，谓词逻辑推理理论。
2、集合论
二元关系，关系的运算，关系的性质，等价关系，偏序关系，哈斯图，函数。
3、代数系统
代数系统，二元运算及其性质，半群与群，格与布尔代数。
4、图论
无向图与有向图、，通路与回路，图的连通性，图的表示，树，生成树与最小生成树，根树，树，欧拉图，哈密顿图，偶图，平面图。
5、计算机科学中的应用
串和语言，形式文法，有限状态自动机，两类自动机的转换。
题型要求及分数比例：(博士生满分100分，学术型、专业学位硕士生满分均150分)
解答题：100分
参考书目(包括作者、书目、出版社、出版时间)：
1、《离散数学》，左孝凌、李为鑑、刘永才， 上海科学技术文献出版社，2012。
2、《离散数学》，屈婉玲,耿素云，张立昂编，高等教育出版社，2008年。
3、《Discrete Mathematics and Its Applications》，Kenneth H.Rosen著，(《离散数学及其应用》袁崇义，屈婉玲，张桂芸译)，机械工业出版社，2011年。
