2025考研大纲：哈尔滨工程大学2025年考研加试科目 006（二合一） 考试大纲

考试内容范围:

数理逻辑

要求考生熟练掌握命题符号化的方法.

要求考生熟练掌握命题逻辑公式的主析取范式和主合取范式的求解.

要求考生熟练掌握命题逻辑的推理理论.

要求考生熟练掌握一阶逻辑命题符号化的方法.

要求考生理解一阶逻辑等值式与置换规则.

集合论

要求考生熟练掌握集合的运算与集合恒等式.

要求考生熟练掌握二元关系的定义、运算与性质，熟练掌握等价关系和偏序关系的定义和

证明.

要求考生理解函数的定义与性质.

代数结构

要求考生理解二元运算的定义与性质、掌握代数系统的定义.

要求考生熟练掌握群、环、域、格与布尔代数的定义与性质.

图论

要求考生熟练掌握图的基本概念.

要求考生熟练掌握无向树及其性质、生成树的定义与性质.

考试总分：1

0

0分

考试时间：

1

小时

考试方式：笔试

考试题型：

填空题（20分）

判断题（2

0

分）

计算题（

20

分）

证明题（

40

分）

参考书目（材料）

1、屈婉玲，耿素云，张立昂.

离散数学（第2版）.北京：高等教育出版社，2

008.03.

考试内容范围:

计算机系统结构基础及并行性的开发

要求考生熟练应用多级层次结构概念求解相关综合计算题.

要求考生理解计算机系统结构、计算机组成和计算机实现三者的定义，各自研究的方面和内容.

要求考生理解并行性的定义，并行性的二重含义和开发并行性的三种途径.

数据表示、寻址方式与指令系统

要求考生理解数据表示与数据结构的关系.

要求考生理解自定义、堆栈、向量三种高级数据表示的内涵.

要求考生熟练掌握浮点数尾数基数大小和尾数下溢处理方法，并会利用方法求解综合计算题.

要求考生熟悉掌握等长码编码、哈夫曼编码和扩展操作码的编码方法，能求出各种方法编码的平均码长，掌握指令格式优化设计的方法，并会求解应用题等.

要求考生了解精简指令系统思想、掌握RISC结构所采用的基本技术.

存储、中断、总线与输入/输出系统

要求考生理解总线类型、控制方式、通讯技术及数据宽度相关概念.

要求考生了解中断源的分类和分级相关概念.

要求考生理解中断屏蔽位、中断处理次序相关概念，并能画出中断处理过程时间示意图.

要求考生熟练应用通道相关概念，并会能完成通道流量设计及通道响应和处理各设备请求的时间过程示意图.

存储体系

要求考生了解虚拟存储器的原理，了解Cache存储器的组成、工作原理.

要求考生熟练掌握虚拟存储器的地址映象和变换、替换算法及性能分析，并能应用算法完成分析与论述题.

要求考生熟练掌握Cache存储器的地址映象规则及变换，并能应用算法完成分析与论述题.

标量处理机

要求考生了解重叠方式的工作原理、流水方式工作原理、分类及相关处理技术.

要求考生熟练掌握流水线的时空图、吞吐率、效率和加速比，并能应用完成分析与论述题.

要求考生熟练掌握单功能非线性流水线调度相关概念，并能应用求解在单功能非线性流水线上所采用的任务流入流水线的最佳调度方案，完成分析与论述题.

考试总分：

150分

考试时间：3小时

考试方式：笔试

考试题型： 单项选择题（

1

5

分）

填空题（1

5

分）

判断题

（

1

5

分）

简答题（

30

分）

综合计算与应用题（

3

5

分）

分析与论述题（

4

0

分）

参考书目（材料）

《计算机系统结构》，李学干，西安电子科技大学出版社，2011年11月第五版