基本内容: (300字以内)

　　1、数理逻辑

　　命题逻辑等值演算，主析取与主合取范式，联结词完备集，命题逻辑推理理论，谓词逻辑，谓词逻辑等值演算，谓词逻辑推理理论。

　　2、集合论

　　二元关系，关系的运算，关系的性质，等价关系，偏序关系，哈斯图，函数。

　　3、代数系统

　　代数系统，二元运算及其性质，半群与群，格与布尔代数。

　　4、图论

　　无向图与有向图、，通路与回路，图的连通性，图的表示，树，生成树与最小生成树，根树，树，欧拉图，哈密顿图，偶图，平面图。

　　5、计算机科学中的应用

　　串和语言，形式文法，有限状态自动机，两类自动机的转换。

　　题型要求及分数比例：(博士生满分100分，学术型、专业学位硕士生满分均150分)

　　解答题：100分

　　参考书目(包括作者、书目、出版社、出版时间)：

　　1、《离散数学》，左孝凌、李为鑑、刘永才， 上海科学技术文献出版社，2012。

　　2、《离散数学》，屈婉玲,耿素云，张立昂编，高等教育出版社，2008年。

　　3、《Discrete Mathematics and Its Applications》，Kenneth H.Rosen著，(《离散数学及其应用》袁崇义，屈婉玲，张桂芸译)，机械工业出版社，2011年。