考试网 >> IT认证 >> 等级 >> 四级考试 >> 2006年全国计算机等级考试四级考试大纲

发布时间：2006-06-26 19:39     点击：

    ⑹ 谓词与量词。

    ⑺ 谓词公式与解释。

    ⑻ 谓词公式的分类。

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

    ⑽ 谓词逻辑推理理论。

    2.集合论:

    ⑴ 集合基本概念。

    ⑵ 集合的运算。

    ⑶ 基本的集合恒等式。

    ⑷ 有序对与卡氏积。

    ⑸ 二元关系。

    ⑹ 关系的逆、限制及象。

    ⑺ 关系的性质。

    ⑻ 关系的闭包。

    ⑼ 关系的复合。

    ⑽ 等价关系与划分。

    ⑾ 偏序关系与哈斯图。

    ⑿ 函数及其性质。

    ⒀ 复合函数与反函数。

    ⒁ 自然数与自然数集合。

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

    ⒃ 集合的基数。 

    3.代数结构:

    ⑴ 代数运算及其性质。

    ⑵ 代数系统。

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

    ⑷ 半群与群。

    ⑸ 子群与陪群。

    ⑹ 正规子群与商群。

    ⑺ 循环群与置换群。

    ⑻ 环与域。

    ⑼ 格与布尔代数。 

    4.图论:

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

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