本书是国家精品课程“离散数学”的主讲教材,也是普通高等教育“十一五”国家级规划教材。本书以教育部计算机科学与技术教学指导委员会最新制订的计算机专业规范为依据编写而成。本书系统介绍了数理逻辑、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述,还特别着重于阐述有关离散数学的证明方法及离散数学应用实例,充分展示了离散数学在计算机中的应用。本书还配有《离散数学实验与习题解析》及电子教案。 本书可作为高等学校计算机专业计算机科学方向、计算机工程方向“离散数学”必修课教材,也可作为其他相关专业“离散数学”课程教材。同时,对于相关专业的科技人员及学生也是一本很好的参考读物。