科目参考书目查看

考试科目代码541考试科目名称离散数学与编译原理
参考书目《离散数学（第三版）》耿素云、屈婉玲、张立昂编，清华大学出版社2004年；《编译原理》陈火旺编，国防工业出版社，2000年，第三版。
考试大纲离散数学部分1.命题逻辑与一阶逻辑1.1.联结词、量词、谓词1.2.命题逻辑范式1.3.合式公式、解释、等值式1.4.推理理论2.集合与关系2.1.集合的运算与性质2.2.关系的运算、性质与闭包2.3.等价关系与偏序关系2.4.函数的运算与性质3.代数系统3.1.代数系统及其同态与同构3.2.半群与群3.3.格与布尔代数4.图与树4.1.图的定义与表示4.2.图的连通性、欧拉图、哈密尔顿图4.3.二部图、平面图4.4.树、生成树与根树编译原理部分第一章：了解有关编译程序的基本概念、结构第二章：掌握语言的定义与文法描述的基本概念、术语与文法改造方法；第三章：掌握有限自动机、正规式的概念、算法；正规式与有限自动机、正规文法的相互转换。第四章：掌握LL（1）分析方法；算符文法；LR（K）分析方法。第五章：掌握属性文法的概念；S―属性文法、L―属性文法的定义、翻译模式以及计算继承属性、综合属性的方法。第六章：掌握赋值语句与布尔表达式的翻译；控制语句的翻译；过程调用与类型检查。第七章：运行存储组织；静态与动态存储管理与实现。第八章：掌握优化概念与局部优化、数据流方程与循环优化方法。