本书介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点并不苛求从数学的逻辑性和严密性上去论述所涉及的数学理论知识，而是注重于这些数学知识对于计算机科学诸领域中所起的应用作用。也就是说，注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书的酝酿构思、撰写工作历时近10年，可以说它是编者多年从事计算机科学教学和科研的一个经验汇报，是给读者的一份奉献。
本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。