《计算机数学基础》(一)――离散数学期末复习参考
第5章 图的基本概念
1. 图 结点 边 有向图 无向图 简单图 多重图 完全图 子图与生成子图 结点度数 握手定理及其推论
2. 通路 通路的长度 初级(简单)通路 回路 初级(简单)回路 点割集与割点 边割集与桥 连通图 强(单测、弱)连通
3. 关联矩阵 邻接矩阵
第6章 几种特殊图
1. 欧拉通路(回路) 欧拉图 哈密顿通路(回路) 哈密顿图 2. 平面图 面的次数 平面图相关定理(定理6～8)
3. 树 无向树 有向树 最小生成树 根树 最优树 二叉树
第7章 群
1. 代数运算以及运算性质 单位元、逆元, 代数系统， 2. 半群 群及其性质 子群
3. 循环群 交换群 n元置换及置换群 4. 群的同态与同构
第8章 其它代数系统
1. 环与域，环
. 2. 格 有界格 有余格 分配格 3. 布尔代数
三、各章基本问题
第1章 命题逻辑
1. 命题符号化，是否命题判断或求真值。 2. 命题公式赋值，及类型判别。
3. 命题公式等值判别或证明。方法有真值表法、等值演算法和主范式法. 4. 求范式和主范式。
5. 蕴含式(推理理论)证明：
方法有：真值表法、等值演算法、主析取范式法、
构造证明法――直接法、附加前提证明法和反证法。
第2章 谓词逻辑
1. 命题符号化。
2. 求辖域、约束变元、自由变元。 3. 给定解释求谓词公式的真值(多为个体域有限的情形)。 4. 判断谓词公式是否重言式(用代换实例)、永假式？ 5. 求前束范式。
第3章 集合及其运算
1. 求集合表达式(列举法或描述法)。
2. 判断集合与元素、集合与集合的关系，用 ， ， ， ， ？