《普通高等教育"十三五"规划教材:工科离散数学》以数理逻辑为基础,介绍命题逻辑、一阶谓词逻辑、集合论、关系、函数、代数结构和图论。不同于一般的离散数学书籍,《普通高等教育"十三五"规划教材:工科离散数学》内容主要以满足一般工科院校计算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专业的离散数学课程教学要求为主,不求大求全,尤其是根据工程教育的要求,注重介绍有应用价值的理论,避免理论上的缠绕,内容简介务求通俗明了。同时,还增加了相当数量的工程应用方面的简介以及相关参考文献,使学习者能够快速了解这些理论的实际工程用途。《普通高等教育"十三五"规划教材:工科离散数学》的配套网络课程、电子教案和习题辅导用书将陆续推出,以满足现在立体化教学的要求。《普通高等教育"十三五"规划教材:工科离