本书系统介绍了离散数学的理论和方法。全书共7章，内容包括数理逻辑、集合与关系、代数系统和图论。本书内容丰富、深入浅出，除对概念、性质、方法进行了严密的论述外，还精选了大量例题，便于读者理解书中理论的内涵及应用。书中每一节最后都精选了与本节重点内容相关的典型习题，以便读者巩固已学的知识。   本书可作为高等院校计算机科学与技术、软件工程以及相关专业的本科生教材，也可作为其他需要学习离散数学相关知识的人员的参考读物。