离散数学（修）

第一章　集合论
　§1　基本概念
　§2　集合的运算
　§3　幂集
　§4　n元组和笛卡儿乘积
　§5　一一对应
　§6　可列集
　§7　无限集
第二章　关系和映射
　§1　关系和映射
　§2　关系的运算
　§3　具有某些特殊性质的关系
　§4　等价关系
　§5　部分序关系
第三章　格和布尔代数
　§1　代数系统及其同构
　§2　格
　§3　作为代数系统的格
　§4　有界格、有补格、分配格和模格
　§5　布尔代数
　§6　布尔表达式
第四章　半群与群
　§1　半群和单元半群
　§2　群的定义及其性质
　§3　子群
　§4　循环群
　§5　变换群
第五章　商群
　§1　同余关系和商代数
　§2　陪集和拉格朗日定理
　§3　正规子群和商群
第六章　数理逻辑
　§1　命题演算
　§2　命题演算的推理理论
　§3　定理的自动证明
　§4　谓词演算
　§5　谓词演算的推理理论
第七章　图论
　§1　引论
　§2　基本概念
　§3　路径问题
　§4　树
　§5　平面图