本书介绍计算机专业必需的离散数学基础知识，包括离散数学四大分支的基础理论，它们是数理逻辑、集合论、代数系统和图论，共8章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用。本书包含较多的与计算机科学和工程有关的例题和习题。 本书适合作为高等理工科院校计算机科学与技术、软件工程等相关专业教材，也可供教师、研究生、有关工程技术人员作为参考书。