离散数学是计算机科学与技术的理论基础。本书系统地介绍了离散数学的最基本内容。全书共分为三部分：第一部分数理逻辑，介绍命题演算及其形式系统，谓词演算及其形式系统；第二部分集合论，介绍集合、关系、函数以及集合的基数等内容；第三部分图论，介绍图的概念、欧拉图、哈密尔顿图、二部图、平面图、树等内容。
