2017年广东工业大学(2027)离散数学及其应用考博大纲博士研究生入学考试大纲

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