本书系统地介绍了离散数学的理论与方法。全书共9章, 内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、代数系统、图论导论、特殊的图、树及其应用以及组合数学基础。为了帮助学生对庞杂的知识点进行理解记忆, 本书在讲解知识点时配有丰富的、面向计算机科学技术发展的应用实例; 同时, 每一章都有典型例题解析, 详细分析了该例题中所用到的基本概念和基本原理, 为学生提供了解题思路和解题技巧; 考虑到离散数学是计算机专业的核心课程, 专门设置了和章节内容相关的上机实验, 供学生练习。
本书知识结构严谨, 证明推理严密, 可作为普通高等学校计算机科学与技术、软件工程、网络工程等专业本科生离散数学课程的教材, 也可供其他专业学生和科技人员参考。

本书特色
本书主要包括逻辑学、集合论、代数系统、图论以及组合数学基础5部分内容。作者在多年的离散数学课程教学实践的基础上, 参考国内外多个经典教材, 结合自己的研究成果编写了本书, 力求做到数学概念准确, 证明严谨, 实例得当, 叙述浅显易懂。离散数学课程概念多且杂, 逻辑推理严密, 学习起来有一定的难度。本书在讲解概念时会举很多例子, 以帮助学生对概念进行理解记忆; 同时, 每一章都有典型例题解析, 详细分析了该例题中所用到的基本概念和基本原理, 为学生提供了解题思路和解题技巧; 考虑到离散数学是计算机专业的核心课程, 专门设置了和章节内容相关的上机实验, 供学生练习。