离散数学

离散数学
第一章 命题逻辑
1 命题与关联结词
2 命题公式及其分类
3 等值演算
4 主析取范式与主合取范式
5 命题逻辑的推理理论
习题一
第二章 谓词逻辑
1 谓词概念与表示
2 谓词公式及解释
3 谓词公式的等值式
4 谓词演算的推理理论
习题二
第三章 集合 关系 映射
1 集合的基本概念
2 集合的基本运算
3 笛卡尔积与关系
4 关系的表示与关系的性质
5 关系的运算与闭包
6 等价关系与划分
7 偏序关系
8 函数的概念
9 复合函数与反函数
习题三
第四章 代数系统
1 二元运算及其性质
2 代数系统及其子代数与积代数
3 代数系统的同态与同构
4 关群与独异点
5 群与子群
6 环与域
7 格布布尔代数
习题四
第五章 图论
1 无向图和有向图
2 路与回路及图的连通性
3 图的矩阵表示
4 欧拉图与哈密尔顿图
5 平面图
6 无向树与有向树
各章习题解答
离散数学（学习指导）