⒑文件组织:
⑴顺序文件。⑵索引文件。⑶散列文件。
三、离散数学
⒈数理逻辑:
⑴命题及其符号化。⑵命题公式及其分类。⑶命题逻辑等值演算。⑷范式。⑸命题逻辑推理理论。⑹谓词与量词。⑺谓词公式与解释。⑻谓词公式的分类。⑼谓词逻辑等值演算与前束范式。(10)谓词逻辑推理理论。
⒉集合论:
⑴集合及其表示。⑵集合的运算。⑶有序对与笛卡尔积。⑷关系及其表示法。⑸关系的运算。⑹关系的性质。⑺关系的闭包。
⑻复合关系与逆关系。⑼等价关系与偏序关系。(10)函数及其性质。⑾反函数与复合函数。
⒊代数系统:
⑴代数运算及其性质。⑵同态与同构。⑶半群与群。⑷子群与陪集。⑸正规子群与商群。⑹循环群与置换群。⑺环与域。
⑻格与布尔代数。
⒋图论:
⑴无向图与有向图。⑵路、回路与图的连通性。⑶图的矩阵表示。⑷最短路径与关键路径。⑸二部图。⑹欧拉图与哈密尔顿图。
⑺平面图。⑻树与生成树。⑼根树及其应用。
[Page: ]
四、操作系统
⒈操作系统的基本概念:
⑴操作系统的功能。⑵操作系统的基本类型。⑶操作系统的组成。⑷操作系统的接口。
⒉进程管理:
⑴进程、线程与进程管理。⑵进程控制。⑶进程调度。⑷进程通信。⑸死锁。
⒊作业管理:
⑴作业与作业管理。⑵作业状态及其转换。⑶作业调度。⑷作业控制。
⒋存储管理:
⑴存储与存储管理。⑵虚拟存储原理。⑶页式存储。⑷段式存储。⑸段页式存储。⑹局部性原理与工作集概念。
⒌文件管理:
⑴文件与文件管理。⑵文件的分类。⑶文件结构与存取方式。⑷文件目录结构。⑸文件存储管理。⑹文件存取控制。⑺文件的使用。
⒍设备管理:
⑴设备与设备分类。⑵输入输出控制方式。⑶中断技术。⑷通道技术。⑹设备分配技术与SPOOLING系统。⑺磁盘调度。⑻设备管理。