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

Posted 2023-03-30

南航计算机科学于技术复试科目541离散数学和编译原理的考试大纲，参考书目，历年试卷等等
[e-mail] 如具体可再加分

京航空航天大学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―属性文法的定义、翻译模式以及计算继承属性、综合属性的方法。
第六章：掌握赋值语句与布尔表达式的翻译；控制语句的翻译；过程调用与类型检查。
第七章：运行存储组织；静态与动态存储管理与实现。
第八章：掌握优化概念与局部优化、数据流方程与循环优化方法。 参考技术A 京航空航天大学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―属性文法的定义、翻译模式以及计算继承属性、综合属性的方法。
第六章：掌握赋值语句与布尔表达式的翻译；控制语句的翻译；过程调用与类型检查。
第七章：运行存储组织；静态与动态存储管理与实现。
第八章：掌握优化概念与局部优化、数据流方程与循环优化方法。

关于北航软件工程和计算机考研

1.如果考软件工程专业是不是专业课只考数据结构与C语言程序设计？ 2.考计算机专业的话专业课考哪几门科目？

1.软件工程只考991数据结构与C语言程序设计
2.计算机有很多专业，各专业的专业课我都列出来了：
计算机技术（专业学位，跟软件工程一个性质）：408计算机学科专业基础综合
计算机科学与技术：408计算机学科专业基础综合

具体参看北航研究生招生简章：http://yzb.buaa.edu.cn/13contents/13sszs/sszsml.htm 参考技术A 计算机体结构系 操作系统 数据结构