本书介绍计算机专业最需要的离散数学基础知识，共8章，包括数理逻辑、集合论、二元关系、函数、无限集合、代数、格与布尔代数、图论等，并含有较多的与计算机科学和工程有关的例题和习题。本书适合于高等理工科院校计算机科学、工程和应用专业作教材，也可供教师、研究生、高年级学生和有关工程技术人员作参考书。