【参考书目】
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图的局部优化;循环优化。