南航计算机科学与技术专业复试科目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.树、生成树和根树

编译原理部分

第1章:了解编译器的基本概念和结构。

第二章:掌握语言的定义和语法描述的基本概念、术语和语法转换方法；

第三章:掌握有限自动机和范式的概念和算法；范式和有限自动机与正规文法之间的转换。

第四章:掌握LL(1)分析方法；算术方法；LR(K)分析法。

第五章:掌握属性语法的概念；S属性文法和L属性文法的定义，翻译模式以及继承属性和综合属性的计算方法。

第六章:掌握赋值语句和布尔表达式的翻译；控制句子的翻译；过程调用和类型检查。

第七章:操作存储组织；静态和动态存储管理和实施。

第八章:掌握最优化和局部最优化的概念，数据流方程和循环最优化方法。