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

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

    2.集合论: 

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

    3.代数结构: 

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

    4.图论: 

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

    四、操作系统 

    1.操作系统基本概念: 

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

    2.进程管理: 

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

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

    3.作业管理: 

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

    4.存储管理: 

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

    5.文件管理: 

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

    6 .设备管理: 

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

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

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


    五、软件工程 

    1.软件工程基本概念: 

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

    2.结构化分析与设计: 

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

    3.原型化开发方法: 

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

   &n

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