2005年全国计算机等级考试四级考试大纲(2)

中华网科技 http://tech.china.com 2005-06-24 13:30:49

【进入BBS】【进入聊天室】【 推荐给朋友 】【浏览字号：大 中 小】【关闭窗口】

　　
三、离散数学

　　1.数理逻辑:

　　⑴ 命题、联结词及其命题符号化。 ⑵ 命题公式及其分类。 ⑶ 命题逻辑等值演算。 ⑷ 析取范式与合取范式。 ⑸ 命题逻辑推理理论。 ⑹ 谓词与量词。 ⑺ 谓词公式与解释。 ⑻ 谓词公式的分类。 ⑼ 谓词逻辑等值演算与前束范式。 ⑽ 谓词逻辑推理理论。

　　2.集合论:

　　⑴ 集合基本概念。 ⑵ 集合的运算。 ⑶ 基本的集合恒等式。 ⑷ 有序对与卡氏积。 ⑸ 二元关系。 ⑹ 关系的逆、限制及象。 ⑺ 关系的性质。 ⑻ 关系的闭包。 ⑼ 关系的复合。 ⑽ 等价关系与划分。 ⑾ 偏序关系与哈斯图。 ⑿ 函数及其性质。 ⒀ 复合函数与反函数。 ⒁ 自然数与自然数集合。 ⒂ 集合之间的等势与优势。 ⒃ 集合的基数。

　　3.代数结构:

　　⑴ 代数运算及其性质。 ⑵ 代数系统。 ⑶ 代数系统的同态与同构。 ⑷ 半群与群。 ⑸ 子群与陪群。 ⑹ 正规子群与商群。 ⑺ 循环群与置换群。 ⑻ 环与域。 ⑼ 格与布尔代数。

　　4.图论:

　　⑴ 无向图与有向图。 ⑵ 路、回路与图的连通性。 ⑶ 图的矩阵表示。 ⑷ 二部图与完全二部图。 ⑸ 欧拉图与哈密尔顿图。 ⑹ 平面图。 ⑺ 无向树及其性质。 ⑻ 生成树。 ⑼ 根树及其应用。

　　四、操作系统

　　1.操作系统基本概念:

　　⑴ 操作系统的功能。 ⑵ 操作系统的基本类型。 ⑶ 操作系统的接口。

　　2.进程管理:

　　⑴ 进程、线程与进程管理。 ⑵ 进程控制。 ⑶ 进程调度。 ⑷ 进程通信。 ⑸ 死锁。

　　3.作业管理:

　　⑴ 作业与作业管理。 ⑵ 作业状态与调度。

　　4.存储管理:

　　⑴ 存储与存储管理。 ⑵ 虚拟存储原理。 ⑶ 页式存储。 ⑷ 段式存储。 ⑸ 段页式存储。 ⑹ 局部性原理与工作集概念。

　　5.文件管理:

　　⑴ 文件与文件管理。 ⑵ 文件的分类。 ⑶ 文件结构与存取方式。 ⑷ 文件目录结构。 ⑸ 文件存储管理。 ⑹ 文件存取控制。 ⑺ 文件的使用。

　　6.设备管理:

　　⑴ 设备与设备分类。 ⑵ 输入输出控制方式。 ⑶ 通道技术。 ⑷ 缓冲技术。 ⑸ 设备分配技术与SPOOLing系统。 ⑹ 磁盘调度。

　　7.典型操作系统的使用:

　　⑴ UNIX的特点与使用。 ⑵ Linux的特点与使用。 ⑶ Windows的特点与使用。

首页 上页 | 1 | 2 | 3 | 4 | 5... 下页 尾页  共 5 页