全国计算机等级考试全真训练（离散数学）

第1章 数理逻辑
1.1 考试要点
1.1.1 命题及其符号化
1.1.2 命题公式及其分类
1.1.3 命题逻辑等值演算
1.1.4 范式
1.1.5 命题逻辑推理理论
1.1.6 谓词与量词
1.1.7 谓词公式与解释
1.1.8 谓词逻辑等值演算与前束范式
1.1.9 谓词逻辑推理理论
1.2 例题详析
1.2.1 选择题
1.2.2 填空题
1.2.3 论述题
1.3 习题
1.3.1 选择题
1.3.2 填空题
1.3.3 论述题
1.3.4 习题参考答案
第2章 集合论
2.1 考试要点
2.1.1 集合及其表示
2.1.2 集合的运算
2.1.3 有序对与笛卡儿积
2.1.4 关系及其表示法
2.1.5 关系的运算
2.1.6 关系的性质
2.1.7 关系的闭包
2.1.8 复合关系与逆关系
2.1.9 等价关系与偏序关系
2.1.10 函数及其性质
2.1.11 反函数与复合函数
2.2 例题详析
2.2.1 选择题
2.2.2 填空题
2.2.3 论述题
2.2.4 解答题
2.3 习题
2.3.1 选择题
2.3.2 填空题
2.3.3 论述题
2.3.4 解答题
2.3.5 习题参考答案
第3章 代数系统
3.1 考试要点
3.1.1 二元运算及其性质
3.1.2 代数系统及其子代数和积代数
3.1.3 代数系统的同态与同构
3.1.4 半群与群
3.1.5 环与域
3.1.6 格与布尔代数
3.2 例题详析
3.2.1 选择题
3.2.2 填空题
3.3 习题
3.3.1 选择题
3.3.2 填空题
3.3.3 习题参考答案
第4章 图论
4.1 考试要点
4.1.1 无向图及有向图
4.1.2 通路、回路、图的连通性
4.1.3 图的矩阵表示
4.1.4 最短路径及关键路径
4.1.5 二部图
4.1.6 欧拉图与哈密尔顿图
4.1.7 平面图
4.1.8 无向树及生成树
4.1.9 根树及其应用
4.2 例题详析
4.2.1 选择题
4.2.2 填空题
4.2.3 论述题
4.2.4 解答题
4.3 习题
4.3.1 选择题
4.3.2 填空题
4.3.3 习题参考答案
第5章 上机操作
5.1 考试要点
5.1.1 上机考试的基本要求
5.1.2 C语言程序的上机基本操作
5.1.3 C语言程序的调试操作
5.2 例题详析
5.3 习题
附录A “离散数学”考试大纲
附录B 四级全真模拟笔试试题
附录C 全国计算机等级考试说明