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