中国科学技术大学计算机学院发布2012考研复试细则(1)

　　1、　按照中国科技大学2012年硕士研究生复试工作章程制定本工作细则;

　　2、　2012年计算机科学与技术学院复试内容由专业课笔试、面试、上机三部分组成：

　　1)专业课笔试(总分80分)

　　形式：闭卷 ;

　　时间：120分钟;

　　考试课目：离散数学、编译原理;

　　I、离散数学(40分)

　　参考书：方世昌，离散数学(第三版)，西安电子科技大学出版，2009年版。考试范围：以下章节不在笔试范围之内：

　　第二章

　　2.4语言上的运算

　　第五章 无限集合

　　5.1 可数和不可数集合

　　5.2 基数的比较

　　5.3 基数算术

　　第六章 代数

　　6.5 商代数和积代数

　　6.8 环和域

　　第七章 格与布尔代数

　　7.1 格

　　7.2 格是代数系统

　　7.3 特殊的格

　　7.4 布尔代数

　　第八章 图论

　　8.9 运算网络

　　II、 编译原理(40分)

　　参考书：

　　1、陈意云、张昱，编译原理(第2版)，高等教育出版社，2008年版(或2003年版)。

　　2、陈火旺、刘春林、谭庆平、赵克佳、刘越，程序设计语言编译原理(第3版)，国防工业出版社，2006年版。

　　考试范围(按2008年版的参考书给出章节)：

　　第二章 词法分析

　　2.1 词法记号及属性

　　2.2 词法记号的描述与识别

　　2.3 有限自动机

　　2.4 从正规式到有限自动机

　　2.5 词法分析器的生成器(没有需要熟悉Lex语言的题目)

　　第三章 语法分析

　　3.1 上下文无关文法

　　3.2 语言和文法

　　3.3 自上而下分析

　　3.4 自下而上分析

　　3.5 LR分析器

　　3.6 二义文法的应用

　　3.7 分析器的生成器(没有需要熟悉Yacc语言的题目)

　　第四章 语法制导的翻译

　　4.1 语法制导的定义

　　4.2 S属性定义的自下而上计算

　　4.3 L属性定义的自上而下计算(不在考试范围内)

　　4.4 L属性的自下而上计算(不在考试范围内)

　　第五章 类型检查

　　5.1 类型在编程语言中的作用

　　5.2 描述类型系统的语言

　　5.3 简单类型检查器的说明

　　*5.4 多态函数(不在考试范围内)

　　5.5 类型表达式的等价

　　5.6 函数和算符的重载

　　第六章 运行时存储空间的组织和管理

　　6.1 局部存储分配策略

　　6.2 全局存储分配策略

　　6.3 非局部名字的访问

　　6.4 参数传递

　　6.5 堆管理(不在考试范围内)

　　第七章 中间代码生成

　　7.1 中间语言

　　7.2 声明语句

　　7.3 赋值语句

　　7.4 布尔表达式和控制流语句