《离散数学》系统介绍了离散数学的基本概念、基本定理、运算规律及离散数学在计算机科学与技术中的应用。全书共6章，主要内容包括命题逻辑、谓词逻辑、集合及其运算、关系、函数和图论。每章均附有精选习题。本书在内容安排上循序渐进，概念阐述严谨，证明推演详尽，实例说明清楚。《离散数学》立求将理论与应用相结合，适合作为普通高等院校计算机专业本科生的教材，也可供从事计算机软件开发和应用的人员参考使用。