离散数学是计算机科学与技术的理论基础。本课程将系统的介绍离散数学的最基本内容。共分为三个部分:第一部分为数理逻辑,介绍命题逻辑和谓词逻辑;第二部分为集合论,介绍集合,关系,函数以及集合的基数等内容;第三部分为图论,介绍图的概念,欧拉图,哈密尔顿图,二部图,平面图,树等内容。