考试网 >> IT认证 >> 等级 >> 四级考试 >> 2004年新版NCRE四级考试大纲

发布时间：2006-07-25 12:13     点击：

⑹ 快速排序方法。 

⑺ 堆排序方法。 

⑻ 二路归并排序方法。

[Page: ]

三、离散数学

1.数理逻辑:

⑴ 命题、联结词及其命题符号化。

⑵ 命题公式及其分类。

⑶ 命题逻辑等值演算。

⑷ 析取范式与合取范式。

⑸ 命题逻辑推理理论。

⑹ 谓词与量词。

⑺ 谓词公式与解释。

⑻ 谓词公式的分类。

⑼ 谓词逻辑等值演算与前束范式。

⑽ 谓词逻辑推理理论。

2.集合论:

⑴ 集合基本概念。

⑵ 集合的运算。

⑶ 基本的集合恒等式。

⑷ 有序对与卡氏积。

⑸ 二元关系。

⑹ 关系的逆、限制及象。

⑺ 关系的性质。

⑻ 关系的闭包。

⑼ 关系的复合。

⑽ 等价关系与划分。

⑾ 偏序关系与哈斯图。

⑿ 函数及其性质。

⒀ 复合函数与反函数。

⒁ 自然数与自然数集合。

⒂ 集合之间的等势与优势。

⒃ 集合的基数。 

3.代数结构:

⑴ 代数运算及其性质。

⑵ 代数系统。

⑶ 代数系统的同态与同构。

⑷ 半群与群。

⑸ 子群与陪群。

⑹ 正规子群与商群。

⑺ 循环群与置换群。

⑻ 环与域。

⑼ 格与布尔代数。 

4.图论:

⑴ 无向图与有向图。

⑵ 路、回路与图的连通性。

⑶ 图的矩阵表示。

⑷ 二部图与完全二部图。

⑸ 欧拉图与哈密尔顿图。

⑹ 平面图。

⑺ 无向树及其性质。

⑻ 生成树。

⑼ 根树及其应用。

四、操作系统

1.操作系统基本概念:

发表评论： 匿名发表 用户名: 查看评论

您将承担一切因您的行为、言论而直接或间接导致的民事或刑事法律责任 留言板管理人员有权保留或删除其管辖留言中的任意内容 本站提醒：不要进行人身攻击。谢谢配合。