Discrete mathematics

目录
1、7 公式的主范式
习题
第五篇 图论
第十三章 图的基本概念及矩阵表示
13、1 图的基本概念
13、2 链（或路）与圈（或回路）
13、3 图的矩阵表示
习题
第十四章 几类重要的图
14、1 欧拉图与哈密尔顿图
14、2 二部图
1、8 命题逻辑的推理理论
14、3 树
14、4 平面图
习题
附录
第七章 习题解答
第八章 习题解答
参考文献
习题
第二章 谓词逻辑〓P
2、1 〓P中基本概念与表示
2、2 谓词公式与翻译
2、3 约束变元与自由变元
2、4 〓P的解释与其赋值
2、5 真与逻辑有效
2、6 〓P中的等价公式
第一篇 数理逻辑
2、7 交换规则
2、8 〓P的蕴涵式
2、9 〓P中公式范式
2、10 〓P的推理理论
习题
第二篇 集合论
第三章 集合论的公理系统
3、1 公理导出和基本概念
3、2 外延公理与子集公理
3、3 集合的表示法
第一章 命题逻辑〓S
3、4 偶集公理与联集公理
3、5 极小元与正则公理
3、6 无穷公理
3、7 幂集公理
习题
第四章 关系与函数
4、1 有序对
4、2 笛卡尔积
4、3 二元关系及其矩阵表示
4、4 关系的性质
1、1 命题与联结词
4、5 等价关系与划分
4、6 函数
4、7 序关系
4、8 代换公理
习题
第五章 序数与基数
5、1 序数
5、2 基数
习题
第六章 选择公理与无穷集合
1、2 命题公式、翻译和真值表
6、1 选择公理
6、2 良序定理
6、3 无穷集合
习题
第三篇 数论
第七章 整除
7、1 因数和倍数
7、2 素数和合数
7、3 最大公因数和最小公倍数
7、4 整数分解唯一性定理
1、3 公式分类与等价公式
习题
第八章 同余
8、1 同余式定义和基本性质
8、2 剩余类和剩余系
8、3 一次同余式
8、4 一次同余式组
8、5 二次同余式和勒让德符号
8、6 雅可比符号
习题
第四篇 代数结构
1、4 对偶式与蕴涵式
第九章 代数结构基本概念及性质
9、1 代数结构的定义与例
9、2 代数结构的基本性质
9、3 同态与同构
9、4 同余关系
9、5 商代数
9、6 积代数
习题
第十章 半群与群
10、1 半群和独异点的定义及性质
1、5 联结词的扩充与功能完全组
10、2 半群和独异点的同态与同构
10、3 积半群
10、4 群的基本定义与性质
10、5 置换群和循环群
10、6 子群与陪集
10、7 群的同态与同构
习题
第十一章 环和域
11、1 环
11、2 子环与理想
1、6 公式标准型——范式
11、3 环同态与环同构
11、4 域
习题
第十二章 布尔代数
12、1 布尔代数的基本定义与性质
12、2 格
12、3 子布尔代数、积布尔代数和布尔代数同态
12、4 布尔代数的原子表示
12、5 布尔代数〓2
12、6 布尔表达式及其范式定理
??;
x