扫码加入训练营

牢记核心词

学习得礼盒

南京航空航天大学541离散数学与编译原理2026年考研大纲及参

2025-10-15 11:45:00来源:网络

  【参考书目】

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

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

  【大纲】

  【专业课必备:2026考研自命题考试大纲】

  

  一、离散数学部分

  1.数理逻辑:命题逻辑的基本概念,命题逻辑等值验算,命题逻辑推理理论,一阶逻辑的基本概念,一阶逻辑等值演算;

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

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

  4.组合数学:加法法则与乘法法则,排列与组合,递推方程的定义及求解方法;

  5.代数系统:代数系统的基本概念,几个典型的代数系统(群、环与域、格与布尔代数)。

  二、编译原理部分

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

  2.文法、推导、语法分析树、短语、直接短语、句柄;

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

  4.LL(1)分析方法;LR分析方法;

  5.属性文法的概念;S―属性文法、L―属性文法、翻译模式以及计算继承属性、综合属性的方法;

  6.说明语句、赋值语句、布尔表达式及控制语句的翻译方案设计;

  7.运行时存储空间的组织;静态与动态存储管理与实现;

  8.基本块的划分、程序流图的构造;基本块的DAG图构造及基于DAG图的局部优化;循环优化。

【专业课必备:2026考研自命题考试大纲】

【查询2026考研招生人数、招生专业、参考书】

本文关键字: 考研大纲及参考书目

考研英语核心词汇营

背词+听课+练习+督学,学习得礼盒

更多资料
更多>>
更多内容

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】,识别上方二维码;
2.点击【关注公众号】,获取资料大礼包。

免费下:2010-2025年考研真题及答案
更多>>
更多公开课>>
更多>>
更多资料