400-780-1011 全国统一24小时咨询服务热线

首页 > 院校资讯 > 考研大纲 >

2023考研大纲:南京航空航天大学2023考研大纲及参考书目:541离散数学与编译原理

网络 651 2022-11-23 09:31:01

考研大纲包含了硕士研究生考试相应科目的考试形式、要求、范围、试卷结构等指导性考研用书。今天,为了方便2022考研的学子们,小编为大家整理了“2023考研大纲:南京航空航天大学2023考研大纲及参考书目:541离散数学与编译原理”的相关内容,谢谢您的关注。

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图及局部优化、循环优化方法。

以上就是小编整理的“2023考研大纲:南京航空航天大学2023考研大纲及参考书目:541离散数学与编译原理”的全部内容,更多关于南京航空航天大学考研大纲,南京航空航天大学考研参考书目的信息,尽在“考研大纲”栏目,下面我们一起来看看吧!

免责声明:本站所提供的内容均来源于网友提供或网络搜集,由本站编辑整理,仅供个人研究、交流学习使用,不涉及商业盈利目的。如涉及版权问题,请联系本站管理员予以更改或删除。

非特殊说明,本文版权原作者,转载请注明出处

本文地址:https://www.kaoyanying.com/dagang/141515.html
关于我们
  • 关于我们
  • 产品&服务
    找院校 找专业 去提问 复试信息
    帮助中心
    • 考研营小程序

      考研营小程序

    • 考研营手机站

      考研营手机站

    • 微信公众号

      微信公众号

    • 研课网

      研课网

    商务合作 咨询电话:400-780-1011 在线客服 友情链接:2375219877