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

离散数学是研究离散量的结构及相互关系的数学科学，是现代数学的一个重要分支。由于计算机只能处理离散的数量关系，所以离散数学是计算机科学各专业最重要的专业基础课之一。随着计算机科学的发展，离散数学作为计算机科学的一种数学工具，其作用日益重要。同时，离散数学还是计算机科学许多专业课程的基础，其基本概念、基本理论和基本方法在数据结构、操作系统、编译原理、软件工程、程序设计语言、算法设计与分析、计算机网络、通信与接口、多媒体技术、数据库管理系统、人工智能、形式语言与自动机、数字电路等课程中有广泛的应用。 应用型本科培养计算机技术方面的应用型高级技术人才。这种类型的人才既需要懂得离散数学的基本概念和基本理论，更需要掌握离散数学的基本方法和实际应用。 由于各院校计算机专业培养目标不同，因而对离散数学知识有不同的要求。已经出版的不同版本的离散数学教材不仅包含的数学分支不完全一样，而且各部分的广度差别较大，难度也显著不同。本教材是在已出版的同类教材的基础上继续探索和创新的结果，相信会满足不同读者的需要。 本教材编者有着长期从事离散数学课程教学的丰富经验，熟悉多门计算机科学专业课程。为了编写出有特色的高质量教材，编者多次向计算机科学方面的专家、学者请教，深入了解计算机科学各专业所需的离散数学知识。在此基础上确定了本教材的下列编写原则： (1) 根据计算机科学各专业对离散数学知识的基本要求确定内容的广度和深度。 本教材包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论6个分支，涵盖了离散数学的主要分支。每个分支都包括了基本内容，并严格把握其...