研晟考研,专注清华北大等985/211名校考研辅导,拥有完善的服务团队,专属定制化的考研备考规划,力争实现每位学子的考研梦、名校梦。
1.《离散数学及其应用(第2版)》耿素云、屈婉玲、张立昂编,高等教育出版社,2018年;
2.《程序设计语言编译原理(第三版)》陈火旺等编著,国防工业出版社,2020年。
【目标】
1.掌握计算机科学与技术专业的基本理论、基本知识和专业技能,了解计算机学科的知识结构、典型技术、核心概念和基本工作流程。
2.深入理解和掌握离散数学的基本概念、相关模型、基本理论和应用技术,具有抽象思维、逻辑推理以及问题求解的能力。
3.深入理解和掌握编译原理的基本原理、基本设计方法、常用算法和主要实现技术,具有分析问题、抽线问题和解决问题的能力。
【大纲】
一、离散数学部分
1.数理逻辑:命题逻辑和一阶逻辑的基本概念、等值验算,命题逻辑推理理论;
2.集合与关系:集合的基本概念和运算,有穷集的计数,集合恒等式,有序对与笛卡尔积,二元关系的定义与表示法,关系的运算、性质与闭包,等价关系与偏序关系,函数的定义与性质,函数
运算;
3.图:图的概念与表示,通路与回路,图的连通性,无向树及其性质,生成树,根树及其应用,欧拉图,哈密尔顿图,二部图与匹配,平面图,着色;
4.组合数学:加法法则与乘法法则,排列与组合,递推方程的定义及求解方法;
5.代数系统:二元运算及其性质,代数系统的概念,几个典型的代数系统,代数系统的同态与同构。
二、编译原理部分
1.编译原理的基本概念;
2.文法、推导、语法树、短语、直接短语、句柄;
3.正规式的构造;正规式与有限自动机的等价性,非确定有限自动机的确定化,确定有限自动机的最小化;
4.LL(1)分析方法;LR分析方法