离散数学是现代数学的重要分支，通过离散数学的学习，学生能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识。本书主要分为三部分：数理逻辑、集合论和图论。其中数理逻辑部分包括命题逻辑、谓词逻辑两章；集合论部分包括集合论和二元关系两章。本书适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专、成人高校相关专业教材。