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