本书是国家级精品课程“离散数学”的主讲教材，也是教育部高等理工教育教学改革与实践项目的研究成果。本书系统地介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法，既注重对基本概念的描述，又注重阐述离散数学的证明方法及其在计算机科学中的实际应用，并以课程设计和实验的方式给出大量的应用实例。
本书可作为高等学校计算机科学与技术专业离散数学课程教材，也可作为其他相关专业的离散数学课程教材。

傅彦，电子科技大学计算机科学与工程学院教授、博士生导师，四川省学术和技术带头人后备人选，主要从事大数据与数据挖掘应用、复杂网络、云计算及信息安全等交叉领域的研究。在PLoS ONE和ICDM等国际著名期刊和会议发表论文70多篇，其中被SCI和EI收录论文50多篇；拥有18项大数据应用领域的发明专利和软件著作权；主持多项国家863项目、国家自然基金重点研发项目、军8631页目等多项国家级项目；作为第一负责人所主持的“基于网络***系统”项目获得四川省科技进步一等奖，参与“网络信息萃取的基础理论和关键算法研究”项目并获得中国计算机学会自然科学二等奖。

第一篇 预备知识
引言
第1章 集合论
1.0 内容提要
1.1 学习要求
1.2 集合
1.2.1 集合的表示
1.2.2 集合与元素的关系
1.2.3 集合与集合的关系
1.2.4 几个特殊的集合
1.2.5 集合的运算
1.2.6 集合的难点
1.3 无限集
1.3.1 可数集合和不可数集合
1.3.2 无限集的难点
1.4 集合的应用
1.5 本章总结
1.6 习题
第2章 计数问题
2.0 内容提要
2.1 学习要求
2.2 基本原理
2.2.1 乘法原理
2.2.2 加法原理
2.2.3 基本原理的难点
2.3 排列与组合
2.3.1 排列问题
2.3.2 组合问题
2.3.3 排列与组合的难点
2.4 容斥原理与鸽笼原理
2.4.1 容斥原理
2.4.2 鸽笼原理
2.4.3 容斥原理与鸽笼原理的
难点
2.5 本章总结
2.6 习题
……
第二篇 数理适辑
引言
第3章 命题逻辑
第4章 谓词逻辑
第5章 证明技术
第三篇 二元关系
引言
第6章 二元关系
第7章 特殊关系
第8章 函数
第四篇 图 论
引言
第9章 图
第10章 树
第11章 特殊图
第五篇 代数系统
引言
第12章 代数系统
第13章 群
*第14章 环与域
第15章 格与布尔代数
参考文献