本书系统地介绍了离散数学领域中各分支的基本内容。全书共分十章，其主要内容有：集合、关系、函数、代数结构、群、环和域、格和布尔代数、图论和数理逻辑。叙述中概念清晰，推理严谨，并配有较多的例题和习题。
　　本书内容丰富，可选性强，可作为高等院校计算机及有关专业本、专科的离散数学教材，也可供从事计算机、自动控制、电子工程等专业的科学工作者及有关工程技术人员参考。

第一章　集合
　1.1　集合
　1.2　集合的包含和相等
　1.3　幂集
　1.4　集合的运算
　1.5　文氏图
　1.6　集合成员表
　1.7　集合运算的形式
　1.8　分划
　1.9　集合的标准形式
　1.10　多重集合
　习题　
第二章　关系
　2.1　笛卡尔积
　2.2　关系
　2.3　关系的复合
　2.4　复合关系的关系矩阵和关系图
　2.5　关系的性质
　2.6　等价关系
　2.7　偏序
　习题　
第三章　函数
　3.1　函数
　3.2　函数的复合
　3.3　逆函数
　3.4　置换
　3.5　集合的特征函数
　3.6　数学归纳法及其应用
　3.7　集合的基数
　3.8　整数的基本性质
　习题　
第四章　代数系统　
　4.1　运算
　4.2　代数系统　
　4.3　同态和同构
　4.4　同余关系
　4.5　积代数
　习题　
第五章　群
　5.1　半群和独异点
　5.2　群的定义
　5.3　群的基本性质
　5.4　子群及其陪集
　5.5　正规子群与满同态
　习题　
第六章　环和域
　6.1　环
　6.2　子环与理想子环
　6.3　理想与满同志
　6.4　域
　习题　
第七章　格和布尔代数
　7.1　偏序集
　7.2　格及其性质
　7.3　格是一种代数系统
　7.4　分配格和有补格
　7.5　布尔代数
　7.6　有限布尔代数的同构
　7.7　布尔代数W2
　7.8　布尔表达式和布尔函数
　习题　
第八章　图论
第九章　命题逻辑
第十章　谓词逻辑
参考文献