本书包括数理逻辑、集合论、图论和组合与代数四部分内容。书中定义、原理论述详细，通俗易懂，内容丰富，既注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用。每章末都有对应本章知识点的习题，便于读者更深入理解和巩固所学的理论知识，讲授时建议64学时左右。
本书可以作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，还可以为从事计算机软件、硬件开发和应用的人员提供参考。