本书的内容根据我国教学的实际情况以及基本要求，并参考了美国CC2004计算机工程课程体系的教学大纲而选定的，侧重于最基本理论和方法的介绍。每章的后面附有习题，以巩固所学概念。读者是工科院校相关专业的本科生以及教师和科研人员。本书内容的组织原则是自给自足的，对于具有数学背景不多的读者几乎能够理解每一个内容，只需要一般的高等代数作为预备知识。

本书可作为高等院校、计算机科学与技术、应用数学、自动控制、电子工程、信息科学及相关专业的本科生的教材，也可供相关专业的工程技术人员参考。

本书是根据国内《离散数学教学大纲》并参考美国CC2004计算机工程课程体系的“离散数学”教学要求而编写的，既凝聚了作者20多年的教学经验，也吸取了国内外数十本相关著作的精华。

全书共8章，包括命题逻辑、一阶逻辑、集合、关系、函数、计数初步、图论、树。每章后面配有难易不等的习题，可供教学选用。最后配有部分习题的提示与解答。

第1章 命题逻辑

第2章 一阶逻辑

第3章 集合

第4章 关系

第5章 函数

第6章 计数初步

第7章 图论

第8章 树

部分习题的提示与解答

参考文献