离散数学及其应用

本书内容共分5部分：数理逻辑，集合、关系和函数，组合数学，图论，代数系统。数理逻辑介绍了命题逻辑和谓词逻辑；集合、关系和函数介绍集合论的相关知识；组合数学介绍组合计数和高级计数方法；图论介绍图的基本概念、特殊图和树；代数系统介绍群、环和域等，每部分还包括理论知识在计算机中的实际应用，并配有大量典型例题和习题。