离散数学（第4版）

　　离散数学是高等院校理工科计算机专业必修的专业基础课程，主要内容包括集合论、代数结构、图论、数理逻辑和组合计数初步。本书在叙述上深入浅出，简明扼要，并以众多的实例解释概念，使抽象理论转化为直观的认识，易教易学，是一本适用性较强的教材。

本教材适合于高等院校计算机专业本科生使用，也适合于函授大学、职工大学、成人教育的计算机专业本科生使用。

第4版前言
第3版前言
第1章集合
　1?1集合的基本概念
　1?1?1集合的表示方法
　　1?1?2子集
　　1?1?3幂集
　1?2集合的运算
　第1章综合练习
第2章二元关系
　2?1二元关系及其表示方法
　　2?1?1集合的笛卡儿乘积
　　2?1?2二元关系的定义
　2?1?3关系的三种表示方法
　2?2关系的基本类型
　2?3等价关系和划分
　　2?3?1等价关系
　　2?3?2等价类
　　2?3?3集合的划分
　2?4相容关系和覆盖
　　2?4?1相容关系
　　2?4?2覆盖
　2?5偏序关系
　2?6复合关系和逆关系
　2?7关系的闭包运算
　第2章综合练习
第3章函数
　3?1函数的定义
　3?2特殊函数
　3?3复合函数和逆函数
　第3章综合练习
第4章代数结构
　4?1代数系统
　4?2特殊运算和特殊元素
　4?3同构
　4?4半群
　4?5群的定义和性质
　4?6子群
　4?7循环群
　4?8置换群
　4?9陪集和拉格朗日定理
　4?10群码
　4?11环和域
　4?12格
　　4?12?1格和子格
　　4?12?2格和偏序集
　　4?12?3分配格
　　4?12?4有界格
　　4?12?5有补格
　第4章综合练习
第5章图论
　5?1图的基本概念
　5?2通路和赋权图的短通路
　　5?2?1通路和回路
　　5?2?2赋权图的短通路
　5?3图和矩阵
　5?4欧拉图
　5?5哈密顿图
　5?6中国邮路问题和旅行售货员问题
　5?7二部图
　5?8平面图
　5?9无向树
　5?10有向树
　第5章综合练习
第6章命题逻辑
　6?1命题和联结词
　6?2真值表和逻辑等价
　6?3永真蕴含式
　6?4推理理论
　6?5范式
　　6?5?1析取范式和主析取范式
　　6?5?2合取范式和主合取范式
　第6章综合练习
第7章谓词逻辑
　7?1谓词
　7?2命题函数和量词
　　7?2?1命题函数
　　7?2?2量词
　　7?2?3谓词合式
　7?3约束元和自由元
　7?4等价式和蕴含式
　7?5谓词演算的推理理论
　第7章综合练习
第8章组合计数初步
　8?1排列与组合
　8?2包含排斥原理
　8?3递推关系与生成函数
　　8?3?1递推关系
　　8?3?2齐次常系数线性递推关系
　　8?3?3非齐次常系数线性递推关系
　　8?3?4生成函数
　第8章综合练习