本书共分为数理逻辑、关系、图论、代数系统及组合分析初步5个部分，其中包括命题逻辑、谓词逻辑、非经典逻辑、集合、二元关系、函数、图论、代数系统以及组合计数等内容。本书既注重各部分内容之间的联系，又注重基础理论及其实际应用。各章配有小结及大量的例题分析，除第2章外每章配有两套习题，习题一供学习者熟悉本章概念、理论和方法； 习题二供学习者进行自我检测。本书可作为高等院校计算机及其相关专业的本科生、研究生教材，也可供从事计算机工作的科学技术人员以及相关人士使用或参考，还可用作大学毕业生的考研复习用书。