南京航空航天大学2025年考研大纲：016计算机科学与技术学院/软件学院、人工智能学院-(541)离散数学与编译原理

考研大纲不仅能给你一个复习的方向，还能帮助你梳理整个知识大纲，方便学习。考研营小编为大家整理了“南京航空航天大学2025年考研大纲：016计算机科学与技术学院/软件学院、人工智能学院-(541)离散数学与编译原理”的相关内容，祝您考研顺利！

1.《离散数学及其应用（第2版）》耿素云、屈婉玲、张立昂编，高等教育出版社，2018年；

2.《程序设计语言编译原理（第三版）》陈火旺等编著，国防工业出版社，2020年。

【目标】

1.掌握计算机科学与技术专业的基本理论、基本知识和专业技能，了解计算机学科的知识结构、典型技术、核心概念和基本工作流程。

2.深入理解和掌握离散数学的基本概念、相关模型、基本理论和应用技术，具有抽象思维、逻辑推理以及问题求解的能力。

3.深入理解和掌握编译原理的基本原理、基本设计方法、常用算法和主要实现技术，具有分析问题、抽线问题和解决问题的能力。

【大纲】

一、离散数学部分

1.数理逻辑：命题逻辑和一阶逻辑的基本概念、等值验算，命题逻辑推理理论；

2.集合与关系：集合的基本概念和运算，有穷集的计数，集合恒等式，有序对与笛卡尔积，二元关系的定义与表示法，关系的运算、性质与闭包，等价关系与偏序关系，函数的定义与性质，函数运算；

3.图：图的概念与表示，通路与回路，图的连通性，无向树及其性质，生成树，根树及其应用，欧拉图，哈密尔顿图，二部图与匹配，平面图，着色；

4.组合数学：加法法则与乘法法则，排列与组合，递推方程的定义及求解方法；

5.代数系统：二元运算及其性质，代数系统的概念，几个典型的代数系统，代数系统的同态与同构。

二、编译原理部分

1.编译原理的基本概念；

2.文法、推导、语法树、短语、直接短语、句柄；

3.正规式的构造；正规式与有限自动机的等价性，非确定有限自动机的确定化，确定有限自动机的最小化；

4.LL（1）分析方法；LR分析方法

以上就是小编整理的“南京航空航天大学2025年考研大纲：016计算机科学与技术学院/软件学院、人工智能学院-(541)离散数学与编译原理”的全部内容，更多关于南京航空航天大学2025年考研大纲,541离散数学与编译原理考研大纲的信息，尽在“考研大纲”栏目，希望对大家有所帮助！