本书系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识。全书共8章。第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合与关系的基本概念和性质，第4章介绍函数，第5章介绍代数系统，第6章介绍格与布尔代数，第7章介绍图论的基本概念及其性质，第8章介绍离散数学在计算机科学中的一些具体应用。 本书适合作为高等学校计算机专业及相关专业的本科生教材，也可以供对离散数学有兴趣的读者自学。