本书系统地介绍了信息科学领域离散数学的基础知识和应用方法，全书共分9章，其主要内容有： 命题逻辑、谓词逻辑、关系、函数、代数系统、几个特殊的代数系统、图论基础、树、格与布尔代数。本书在内容安排上，结构新颖，有问题导入式的引言，以此激发学生的学习兴趣和目标关注点； 正文内容中穿插提示、拓展等环节，在强调基础知识点的重要性和特殊性的同时，又对主要内容进行了适度延伸，使得抽象的教材内容更具体化，更具有鲜活的生命力； 同时每章都安排了应用环节，突出将离散数学的基本知识与信息科学本身以及生活实际结合起来，通过解决具体的实际问题，增强该门课程讲授内容的现实性和生动性。并结合信息科学专业学生的特点，积极引导学生通过离散数学的基本知识对现实生活中的实际问题进行建模，并编写计算机程序去实现问题解决的自动化，在提高编程能力的同时，也增进了对算法的理解和应用能力。本书内容丰富，可读性强，可作为应用型普通高等院校计算机科学与技术、信息与计算科学、信息工程等相关本、专科专业学生的离散数学教材，也可供从事计算机、自动控制、电子工程等领域的科学工作者及有关工程技术人员参考。