南航计算机科学与技术专业复试科目541离散数学和编译原理

2025-02-14 06:15:45

推荐回答（1个）

回答1：

京航空航天大学541离散数学与编译原理2012年考研大纲：

《离散数学（第三版）》耿素云、屈婉玲、张立昂编，清华大学出版社 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―属性文法的定义、翻译模式以及计算继承属性、综合属性的方法。
第六章：掌握赋值语句与布尔表达式的翻译；控制语句的翻译；过程调用与类型检查。
第七章：运行存储组织；静态与动态存储管理与实现。
第八章：掌握优化概念与局部优化、数据流方程与循环优化方法。

最新问答

古代统治者都非常喜欢改别人姓氏，“赐姓”和“贬姓”的区别有多大？

高中物理什么时候用限流法什么时候用分压法

从上海虹桥高铁站到上海新天地徐家汇蒙自路要怎么走，乘什么车？

狗狗身上为什么长有白色皮屑很多怎么能去掉狗狗才一个月不能洗澡

求名侦探柯南最帅的图片要大图最好由背景的