本书系统地介绍了离散数学的经典内容，全书分为9章，分别介绍了命题逻辑、谓词逻辑、集合论、关系、函数、图论基础、特殊图类、代数系统、格和布尔代数。每节都有精选习题，书后有部分习题参考答案与提示。本书在内容安排上循序渐进、通俗易懂、结构严谨、便于自学，适合计算机及相关专业本、专科学生作为教材，也可供一般科技人员参考。