本书为浙江省一流课程“离散数学”配套教材、浙江省普通本科高校“十四五”重点立项建设教材。本书在注重离散数学体系的基础上，强化证明思想和方法的介绍，在讲解基本内容及基本概念的时候尽可能结合实例，重视理论和方法的实用性。本书系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识，全书共6章。第1章介绍命题及命题逻辑；第2章介绍谓词逻辑及其推理理论；第3章介绍集合与关系的基本概念和性质；第4章介绍函数；第5章介绍代数系统；第6章介绍图论的基本概念及其性质。