本书作为计算机科学与技术及信息类专业的基础理论教材，主要内容包括命题逻辑、谓词逻辑、集合与关系、映射、代数结构、格与布尔代数、图论等知识，对相关知识的专业应用内容也作了介绍。离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论课程联系紧密。 本教材在内容的组织上，力求提供培养学生抽象思维、慎密概括和严密的逻辑推理能力的同时，注重展现离散数学在计算机科学及信息科学中的应用，以增强学生使用离散数学知识分析问题和解决问题的能力，为今后处理离散信息，从事计算机软件的开发与设计以及计算机科学及信息科学中的其他实际应用打好数学基础。 为方便教师教学，本书配有教学课件，欢迎选用本书作为教材的老师索取．索取邮箱：11m7785@sina．com。