哈工大复试参考书目

考试科目名称：计算机科学与技术考试科目代码：[ ]复试科目除C 语言外均为选择题，每题2分。

(1)集合论与图论，占30分。

(2)计算机体系结构，占30分。

(3)编译原理，占30分

(4)数据库系统，占30分

(5)C语言程序设计，占50分

(6)软件工程，占30分

注1：生物信息技术专业学生不考计算机体系结构、编译原理，考生物信息学引论(30分)、生物统计与基因组信息学(30分)。

集合论与图论部分(30分)

一、考试要求

1. 要求考生系统地掌握集合论、图论的基本概念、基本原理等基本知识，学会运用基本知识进行推理并应用到计算机科学领域解决实际问题。

二、考试内容

1) 集合及其运算

集合、子集、集合的相等关系、幂集;集合并、交、差、对称差、补集、

迪卡尔乘积运算，各运算的性质及相互联系;有穷集合的基数、基本计数法则、容斥原理及应用。

2) 映射

基本定义、鸽巢原理、映射的一般性质、映射的合成、逆映射、置换、二元运算、映射的应用。

3)关系

教学内容二(n)元关系、几个特殊二元关系、二元关系的表示、关系的合

成运算、传递闭包、等价关系与集合的划分、偏序关系。

4)无穷集合的基数

可数集及其性质、存在不可数集—对角线法，基数及其比较、连续统。

5) 图的基本概念

图、路、圈、连通图、偶图、补图、欧拉图、哈密顿图、图的邻接矩阵、最短路径问题。

6) 树和割集

树及其性质、生成树、割点和桥及其特征性质，最小生成树问题。

7)平面图和图的着色

平面图及其欧拉公式、库拉托斯基定理、图的着色、

8)有向图

有向图、可达(互达)、有向图连通(强、单向、弱连通)、有根树、有序树、二元树。

三、试卷结构

选择题(四选一)

四、参考书目

1.王义和编著，离散数学引论(第3版)，哈工大出版社，2007。

2.耿素云、屈婉玲、张立昂著，离散数学(第1版)，高教出版社，2008.3。

计算机体系结构部分(30分)

一、考试要求

要求考生系统地掌握计算机体系结构的基本概念、基本原理和基本方法等方面的基础知识，并能够运用基础知识解决计算机体系结构设计中的基本问题。

二、考试内容

1)计算机系统结构的基本概念

a)计算机系统结构的基本概念，计算机系统层次结构，计算机系统的设计技术，软硬件取舍原则;

b)软件可移植性的途径、方法、适用场合、存在的问题和对策;

c)计算机系统性能评价的基本方法;

d)并行性的概念，系统结构中开发并行性的途径和类型，计算机系统的分类。

2)指令系统设计

a)指令系统的分类、寻址技术、功能设计、格式设计;

b)指令系统的发展和改进

c)操作数的类型及大小

3)流水线技术

a)流水线的分类、性能指标和性能分析;

b)非线性流水线的调度;

c)流水线中的相关和冲突问题及其解决方法;

4)指令级并行及其开发(硬件方法)

a)指令级并行的概念，相关与指令级并行，指令的动态调度;

b)动态分支预测技术;

c)多指令流出技术。

5)存储系统

a)存储层次;

b)降低Cache不命中率的方法，减少Cache不命中开销的方法，减少命中时间的方法

6)输入输出系统

a)I/O系统的性能、可信性、廉价磁盘冗余阵列;

b)总线的设计、总线标准、与CPU的连接;

c)通道的作用和功能、工作过程、种类、流量分析。

三、试卷结构

a) 题型结构

选择题(30分)

四、参考书目

1.计算机系统结构教程，作者张晨曦,清华大学出版社

编译原理部分(30分)

一、考试要求

1. 要求考生能够理解和掌握编译过程各个阶段的工作原理，理解标准编译器各个组成部分的任务，熟悉编译过程各阶段所要解决的问题及其采用的方法和技术。

2. 能够应用一些标准的技术解决编译器构造过程中所产生的相关问题，理解编译器在生成代码时如何充分利用特定处理器的特征。

注：参考书主要以参考书目1为标准。

二、考试内容

1)编译的总体结构

a:编译的总体结构

b: 编译的各阶段及其任务

2)语言与文法

a: 文法和语言的定义及文法的表示

b: 文法和语言的分类

c: 推导与归约，短语、直接短语和句柄，分析树及文法的二义性

3)词法分析

a: 词法分析器的功能

b: 词法分析器的设计与实现

c: 正则文法、正则表达式、确定的有穷自动机与不确定的有穷自动机及其它们之间的转换

4)语法分析

a: 语法分析器的功能

b: 自顶向下分析法存在的问题及解决办法，递归下降法与LL(1)分析法

c: 自底向上分析法的基本原理，算符优先分析法和LR分析法

5)语法制导翻译与中间代码生成

a: 语法制导定义、S属性定义和L属性定义

b: 自顶向下的语法制导翻译与自底向上的语法制导翻译

c: 几种典型语句的翻译：说明语句、表达式与赋值语句、分支与循环语句、过程说明与调用语句

6)类型检查与运行时环境

a:类型表达式及其等价

b:静态存储分配与动态存储分配、参数传递

c: 符号表管理

7)代码生成与优化

a:代码生成器设计中的问题