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