离散数学

**章  集合与基数
  1.1  集合的概念
  1.2  集合的运算与性质
    1.2.1  集合的基本运算
    1.2.2  幂集与笛卡儿乘积
  1.3  集合的基数
  1.4  无限集
  1.5  习题一
第二章  关系
  2.1  关系和映射
  2.2  关系的运算
  2.3  具有某些特殊性质的关系
  2.4  等价关系
  2.5  偏序关系
  2.6  习题二
第三章  格与布尔代数
  3.1  代数系统
  3.2  作为偏序集的格
  3.3  作为代数系统的格
  3.4  某些特殊格
  3.5  布尔代数
  3.6  习题三
第四章  群论
  4.1  半群与群
  4.2  子群
  4.3  循环群与变换群
  4.4  陪集与拉格朗日定理
  4.5  正规子群与商群
  4.6  习题四
第五章  图论
  5.1  图的基本概念
  5.2  欧拉图与哈密顿图
  5.3  树
  5.4  平面图与图的染色
  5.5  习题五
第六章  数理逻辑
  6.1  命题演算
  6.2  析取范式与合取范式
  6.3  命题演算的推理理论
  6.4  谓词演算
  6.5  谓词演算的推理理论
  6.6  习题六
附录a  名词（中英文）索引
参考文献