本书按教学大纲要求，通过仔细精选和解析了一些具有代表性的习题，帮助读者深化对集合论、代数系统、图论和数理逻辑内容的理解，达到提高分析和解决问题能力的目的。全书共9章，每章先简要介绍主要内容、重要概念和主要结论。然后给出基本题和典型习题，对疑难问题和容易混淆、甚至误解的问题进行曲剖析，本书独到之处在于，罗列了不同书上对同一要领的不同定义和不同的记号，在许多地方通过举反例对某些不一定成立的性质进行说明，加深读者对它的理解。 本书适用于理工科高等院校计算机及相关专业的学生作为练习辅导书，也是报考计算机专业硕士研究生的考生必读参考书，还适用于自学考试的读者和计算机等级考试者研习。