本书是在作者多年从事离散数学课教学实践并参考国内外多种教材的基础上编写而成的。主要内容有命题逻辑、谓词逻辑、集合、二元关系、函数、代数、群论、格与布尔代数、图论和特殊图等。各章都配有典型的例题，各节后还配有适量的习题，以便于读者理解和掌握所学的知识。
本书系统地介绍了离散数学基础知识。主要内容有命题逻辑、谓词逻辑、集合、二元关系、函数、代数、群论、格与布尔代数、图论和特殊图等。本书具有内容系统、概念清晰、证明严谨的特点，各部分相对独立而又相互联系，各章都配有典型的例题，各节后还配有适量的习题，以便于读者理解和掌握所学的知识。
本书可作为高等理工院校计算机软件和应用专业的本科、研究生教材，也可以供有关从事计算机工程的技术人员参考。