6.图:
⑴ 图的基本概念(定义,分类,名词术语)。 ⑵ 图的存储方法(邻接矩阵存储方法,邻接表存储方法)。 ⑶ 图的遍历(深度优先搜索,广度优先搜索)。 ⑷ 最小生成树。 ⑸ 最短路径问题。 ⑹ 拓扑排序。
7.文件及其查找:
⑴ 数据文件的基本概念。 ⑵ 顺序文件及其查找方法(顺序查找方法,折半查找方法)。 ⑶ 索引文件及其查找方法。 ⑷ 散列文件及其查找方法。
8.内排序:
⑴ 排序的基本概念(定义,功能,分类)。 ⑵ 插入排序方法。 ⑶ 选择排序方法。 ⑷ 起泡排序方法。 ⑸ 希尔排序方法。 ⑹ 快速排序方法。 ⑺ 堆排序方法。 ⑻ 二路归并排序方法。
三、离散数学
1.数理逻辑:
⑴ 命题、联结词及其命题符号化。 ⑵ 命题公式及其分类。 ⑶ 命题逻辑等值演算。 ⑷ 析取范式与合取范式。 ⑸ 命题逻辑推理理论。 ⑹ 谓词与量词。 ⑺ 谓词公式与解释。 ⑻ 谓词公式的分类。 ⑼ 谓词逻辑等值演算与前束范式。 ⑽ 谓词逻辑推理理论。
2.集合论:
⑴ 集合基本概念。 ⑵ 集合的运算。 ⑶ 基本的集合恒等式。 ⑷ 有序对与卡氏积。 ⑸ 二元关系。 ⑹ 关系的逆、限制及象。 ⑺ 关系的性质。 ⑻ 关系的闭包。 ⑼ 关系的复合。 ⑽ 等价关系与划分。 ⑾ 偏序关系与哈斯图。 ⑿ 函数及其性质。 ⒀ 复合函数与反函数。 ⒁ 自然数与自然数集合。 ⒂ 集合之间的等势与优势。 ⒃ 集合的基数。
3.代数结构:
⑴ 代数运算及其性质。 ⑵ 代数系统。 ⑶ 代数系统的同态与同构。 ⑷ 半群与群。 ⑸ 子群与陪群。 ⑹ 正规子群与商群。 ⑺ 循环群与置换群。 ⑻ 环与域。 ⑼ 格与布尔代数。
4.图论:
⑴ 无向图与有向图。 ⑵ 路、回路与图的连通性。 ⑶ 图的矩阵表示。 ⑷ 二部图与完全二部图。 ⑸ 欧拉图与哈密尔顿图。 ⑹ 平面图。 ⑺ 无向树及其性质。 ⑻ 生成树。 ⑼ 根树及其应用。
四、操作系统
1.操作系统基本概念:
⑴ 操作系统的功能。 ⑵ 操作系统的基本类型。 ⑶ 操作系统的接口。
2.进程管理:
⑴ 进程、线程与进程管理。 ⑵ 进程控制。 ⑶ 进程调度。 ⑷ 进程通信。 ⑸ 死锁。