离散数学是计算机科学与技术的理论基础。本书系统地介绍了离散数学的最基本内容。全书共分为三部分：第一部分数理逻辑，介绍命题演算及其形式系统，谓词演算及其形式系统；第二部分集合化，介绍集合、关系、函数以及集合的数等内容；第三部分图论，介绍图的概念、欧拉图、哈密尔顿图、二部图、平面图、树等内容。
本书内容深入浅出，简明扼要，以理论联系实际为目的。书中选择典型例题讲解，每章后均配有适量习题，帮助巩固所学知识。本书可作为应用型本科及高职高专计算机及其相关专业的教材，也可供相关专业人员学习参考。