南京航空航天大学541离散数学与编译原理2023考研大纲及参考书目已经发布，各位同学注意及时关注相关信息。天任考研为大家整理了南京航空航天大学541离散数学与编译原理2023考研大纲及参考书目的详细内容，希望对大家有所帮助！
1.《离散数学(第五版)》耿素云、屈婉玲、张立昂编，清华大学出版社2013年;
2.《程序设计语言编译原理(第三版)》陈火旺编，国防工业出版社，2008年，第三版。
【目标】
1.掌握计算机科学与技术专业的基本理论、基本知识和专业技能，了解计算机学科的知识结构、典型技术、核心概念和基本工作流程。
2、深入理解和掌握离散数学的基本概念、相关模型、基本理论和应用技术，具有抽象思维、逻辑推理以及问题求解的能力。
3、深入理解和掌握编译原理的基本原理、基本设计方法、常用算法和主要实现技术，具有分析问题、抽线问题和解决问题的能力。
【大纲】
一、离散数学部分
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.格与布尔代数
二、编译原理部分
1：编译程序的基本概念、结构
2：文法、推导、语法树、短语、直接短语、句柄、素短语、最左素短语;
3：有限自动机、正规式;正规式与有限自动机、正规文法的等价性。
4：LL(1)分析方法;算符优先分析方法;SLR(1)和LR(1)分析方法。
5：属性文法的概念;S―属性文法、L―属性文法的定义、翻译模式以及计算继承属性、综合属性的方法。
6：赋值语句与布尔表达式的翻译;回填技术及控制语句的翻译;过程调用与类型检查。
7：运行时存储组织;静态与动态存储管理与实现。
8：优化的概念;基本块的划分、程序流图;基本块的DAG图及局部优化、循环优化方法。
文章来源：南京航空航天大学研究生官网
