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