本书系统阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。本书根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。本书编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融会贯通，达到学练兼顾的目的。本书加入了机上实现内容，满足了普通高校理工类本科生的实际需求。 本书书末还提供了离散数学常用符号、中英文名词术语对照表、英中文名词术语对照表以及习题答案与提示，能很好地帮助读者理解和学习。 本书既可作为应用型本科和高职高专院校计算机科学各专业的教材，也可作为工程技术人员的参考书。