研晟考研-以研促教,研精毕智,厚德载晟!
24小时报名热线
13021053105

2025年南京航空航天大学计算机科学与技术学院/软件学院、人工智能学院自命题科目541离散数学与编译原理硕士研究生入学考试大纲

作者:研晟考研
2024-11-17 11:09:00
3
来源:南京航空航天大学研招网官网
收藏

研晟考研,专注清华北大等985/211名校考研辅导,拥有完善的服务团队,专属定制化的考研备考规划,力争实现每位学子的考研梦、名校梦。

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


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


  【目标】


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


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


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


  【大纲】


  一、离散数学部分


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


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

运算;


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


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


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


  二、编译原理部分


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


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


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


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



相关阅读

预约
报名
在线咨询 微信
微信咨询
QQ群
(1)群
(2)群
(3)群
(4)群
常见问题 联系我们

13021053105