本书是根据计算机类专业对离散数学的教学要求编写而成的。全书共7章，主要内容包括命题逻辑、谓词逻辑、集合、关系、函数、图论和树等。本书在叙述上深入浅出，简明扼要，并以众多的实例解释概念，使抽象理论转化为直观的认识, 力求培养学生抽象思维、缜密概括和严密的逻辑推理能力，增强学生使用离散数学知识分析问题和解决问题的能力，为今后处理离散信息、从事计算机软件的开发与设计以及计算机科学和信息科学中的其他实际应用打好数学基础。

本书可作为应用型本科院校计算机应用技术、软件工程、计算机网络、计算机信息管理及其他计算机相关专业的教材，也可供对离散数学感兴趣的人员参考学习。

本书配有相关课件、练习题以及历年期末试卷，需要者可登录出版社网站，免费下载。