本书内容是按照国家教委离散数学教学大纲要求并参考IEEE&ACM的CC2001教程编排的,是作者在原著《离散数学》(1994年,科学出版社)的基础上修改而成的。本书包括离散数学四大分支的基础理论:数理逻辑、图论、集合论、抽象代数学。它既注重离散数学内容本身的系统完善,同时又注重与计算机科学的密切联系,具有结构合理、内容系统、阐释新颖的特点。本书取材详略得当,叙述清楚流畅,论证科学严谨,释例、练习精选独到,力求科学性、应用性、工具性和可读性的完美统一。本书附教学用光盘一张,其内容包括课堂教学辅助软件和课外自学辅助软件。本书可作为高等院校计算机专业及相关专业本科生、专科生的离散数学教材和教学参考书,也可作为计算机软硬件研究开发者和应用人员的学习用书,以及大学毕业生考研复习用书。