广东工业大学2016年考博考试大纲：离散数学及其应用

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