本书由五篇构成。第一篇数理逻辑，内容包括命题逻辑、谓词逻辑、公理系统、归结法原理。第二篇集合论，内容包括集合的基本概念及其运算、关系、函数、自然数和基数。第三篇图论，内容包括基本概念、通路问题、图的矩阵表示、树、穿程问题、二分图的匹配问题、平面图及色数。第四篇代数系统，内容包括基本概念、半群和群、环和域、格和布尔代数、抽象数据类型的代数规范。第五篇有限自动机理论，内容包括基本概念、有限自动机的简化、有限自动机和正则表达式、有限自动机的综合与应用。
本书内容系统、全面，概念清晰，叙述严谨精炼，推理详尽严格，各部分独立成篇，并有大量例题和习题，便于读者理解和掌握相关知识。本书可作为高等学校本科计算机专业离散数学课程的教材，也可供计算机科学与工程技术人员学习参考。
