图书介绍：离散数学是计算机科学基础理论的核心课程,也是现代数学的一个重要分支。本教材内容的组织,在力求培养学生严格的抽象思维和逻辑推理能力的同时,注重展现离散数学在计算机科学从信息类专业中的应用,以增强学生使用离散数学知识分析问题和解决问题的能力,为今后处理离散信息、从事计算机软件的开和设计以及计算机科学及信息类专业中的其他实际应用打好数学基础。作为计算机及信息类专业的数学工具，本书的主要内容包括命题逻辑、一阶谓词逻辑、集合论基础、数论基础、组合计数基础、代数结构、图论及其应用等知识。对相关知识的专业应用内容也做了实用性介绍。