本书较为系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识，全书分为4个部分（数理逻辑、集合论、代数结构和图论），共7章。第1章介绍命题及命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍二元关系和函数；第5章介绍代数系统基本概念；第6章介绍几个典型的代数系统；第7章介绍图论的基础内容和一些特殊图及其性质。各章之后配有适当难度的习题及其简要参考答案，便于学生课后练习。每个部分结束后配有内容小结，便于学生自学、复习和提高。本书可以作为高等院校计算机科学与技术、软件工程、通信工程等相关专业的教材，也可以作为考研学生及计算机工作者的参考书。