计算机科学与技术学院硕士研究生入学考试自命题科目考试范围

1、02102 离散数学

1 、命题逻辑的基本定义。学会命题、联结词、命题公式、真值表。

2 、命题逻辑等值演算。学会等价公式、重言式、蕴含式、等值演算、合取范式、析取 范式、主合取范式及主析取范式。

3 、命题逻辑的推理理论。学会命题推理理论。

4 、一阶逻辑基本定义。学会谓词、量词、谓词公式。

5 、一阶逻辑等值演算与推理。学会谓词演算公式的前束范式、谓词演算公式真值的求 解办法、谓词推理理论。

6、集合代数。理解集合运算和集合等式证明。学会集合的定义和表示、集合元素计数。

7 、二元关系。理解关系的概念、表示和性质、等价关系与划分;学会关系的 概念、表示和性质、偏序关系、哈斯图与极值。

8 、函数。知道函数的概念与性质、函数的复合运算与逆函数。

9 、代数系统。学会代数系统定义、代数系统的同态与同构映射。

10 、群与环。学会半群、独异点、单位元、零元、群、子群、交换群、循环群、有 限群、置换群、陪集、环、整环、域的概念; 学会群、子群、循环群、有限群、环、整 环、域的性质和辨别办法。

11 、格与布尔代数。理解格的同态的定义;学会格、子格、分配格与有补格的 概念和基本性质;学会子格、分配格和有补格的断定办法;知道有限布尔代数的结 构和性质。

12 、图的基本定义。知道图的运算，理解有向图、无向图、通路、回路;学会 握手定理及推论、图的矩阵表示及应用。

13 、欧拉图与哈密顿图。理解欧拉图、欧拉通路和回路、哈密顿图、哈密顿通路和 回路;学会欧拉图的性质和断定办法、哈密顿通路和回路的充分条件与必要条件、 学会 Dijkstra 标号法求最短路径;知道中国邮递员问题、货郎担问题。

14、树。学会求最小生成树的多种算法、根树的行遍办法、最佳二叉树和 Huffman 算法;学会无向树及其性质、根树的有关定义。

15、平面图。理解平面图的定义、平面图的对偶图及其应用;学会欧拉公式及 有关定理、平面图或很大平面图的性质和断定条件。

2、02103 程序设计基础

1 、过程化程序设计基础

C 语言基础、基本数据种类、基本 I/O、运算符表达式与步骤控制、函数与递归、 参数传递; 数组和指针、字符串处置、变量及其存储、内存管理、结构、位运算、文 件 I/O;C 预处置器及运行库、多模块程序设计、数据抽象、步骤图、程序设计规范。

2 、面向对象程序设计基础

OOP 基本思想与办法：类、对象、属性、办法、重载/覆盖、封装、继承/派生、 多态、模板、异常处置等入门知识。OOP 程序设计语言、 简单设计模式、包、类图、程序设计规范。

3 、基础算法与数据结构

算法复杂度剖析、基础输入输出、简单达成、暴力、枚举、贪心、排序、搜索、 二分;简单数学推理、串处置、栈、队列、简单树/图算法。