2006年全国计算机等级考试四级考试大纲_计算机等级考试

sp; ⑻ 谓词公式的分类。
    ⑼ 谓词逻辑等值演算与前束范式。
    ⑽ 谓词逻辑推理理论。

    2.集合论:

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

    3.代数结构:

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

    4.图论:

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

    四、操作系统

    1.操作系统基本概念:

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

    2.进程管理:

    ⑴ 进程、线程与进程管理。
    ⑵ 进程控制。

    ⑶ 进程调度。
    ⑷ 进程通信。
    ⑸ 死锁。

    3.作业管理:

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

    4.存储管理:

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

    5.文件管理:

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

    6 .设备管理:

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

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

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

    五、软件工程

    1.软件工程基本概念:

    ⑴ 软件与软件危机。
    ⑵ 软件工程定义。
    ⑶ 软件生命周期。
    ⑷ 软件过程模型。

    2.结构化分析与设计:

    ⑴ 问题定义与可行性研究。
    ⑵ 软件需求分析。
    ⑶ 数据流程图与数据字典。
    ⑷ 软件体系结构设计。
    ⑸ 概要设计与详细设计。
    ⑹ 模块结构设计与数据结构设计。
    ⑺ 用户界面设计。

    3.原型化开发方法:

    ⑴ 原型化开发的基本原理。
    ⑵ 原型化开发模型。
    ⑶ 原型化开发过程。
    ⑷ 软件复用。

   &n

上一页 [1] [2] [3] [4] 下一页