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