本书作为计算机科学与技术专业的基础教材，主要介绍离散数学的基础知识。全书共分四部分，第一部分为数理逻辑，包括命题逻辑与谓词逻辑；第二部分为集合论，包括集合、二元关系与函数；第三部分为代数结构，主要介绍代数系统的基本概念与性质，群、环和域，格及布尔代数；第四部分为图论，包括图的基本概念、一些特殊图及树。
本书凝聚了作者多年教学经验的结晶，行文概念清晰、叙述严谨、内容翔实而又重点突出，是一本难得的上佳之作。本书既可以作为高等院校计算机科学与技术及相关专业的本、专科教材，也可供相关专业的自学考试人员、科研人员等参考。