离散数学是现代数学的一个重要分支，是计算机类专业的重要基础课程，它以研究离散量的结构及其相互间的关系为主要目标，其研究对象一般是有限个或无数个元素，因此离散数学可以充分描述计算机学科离散性的特点。由于离散数学在计算机科学中的重要作用，国内外几乎所有大学的计算机类专业的教学计划中都将其列为核心课程进行重点建设，它是其他骨干课程如数据结构操作系统、人工智能、计算机网络等的先修课程。本书全面介绍了离散数学的主要内容，即数理逻辑初步集合论和代数结构图论等基本内容，并对离散数学的应用进行了初步介绍。本书适合于高等院校理工科计算机类学生作为专业基础课教材，也适合有关科技人员参考。