本书介绍了离散数学基础知识和应用方法, 全书共分为4篇, 第1篇为数理逻辑, 内容包括命题逻辑和谓词逻辑; 第2篇为集合论, 内容包括集合的基本概念、二元关系、函数等; 第3篇为代数系统, 内容包括代数系统的基本概念、半群、群、环、域、格与布尔代数; 第4篇为图论, 内容包括图的基本概念、几类重要的图、最短路径、关键路径等。本书在内容安排上, 突出由浅入深、循序渐进、通俗易懂的特点, 另外各章配备了大量的例题, 其内容与计算机科学的理论与实践密切结合, 便于自学。