离散数学（修订版数学计算机）

第一编  数理逻辑
  第一章  命题逻辑
    1.1  命题符号化
    1.2  合式公式
    1.3  永真公式
    1.4  范式
    1.5  推理理论
    1.6  联结词的全功能集
  第二章  一阶逻辑
    2.1  命题符号化
    2.2  合式公式
    2.3  永真公式
    2.4  范式
    2.5  推理理论
第二编  集合论
  第三章  集合
    3.1  集合的基本概念及其表示法
    3.2  集合的运算
    3.3  基本集合恒等式
    3.4  容斥原理
    3.5  集合的笛卡尔积
  第四章  二元关系
    4.1  关系及其表示法
    4.2  关系的性质
    4.3  关系的运算
    4.4  等价关系与划分
    4.5  序关系
    4.6  相容关系 
  第五章  函数
    5.1  函数的基本概念和性质
    5.2  函数的合成
    5.3  逆函数
  第六章  集合的基数
    6.1  可数集和不可数集
    6.2  集合基数的比较
第三编  代数结构
  第七章  代数系统
  第八章  半群和群
  第九章  环和域
  第十章  格与布尔代数
第四编  图论
  第十一章  图
参考文献
符号表