本书是应用型高等院校计算机科学与技术、人工智能、数据挖掘、区块链等专业本科“离散数学”课程的教材，内容包括四部分： 第一部分数理逻辑（包括第1章命题逻辑和第2章谓词逻辑）、第二部分集合论初步（包括第3章集合代数、第4章二元关系和第5章函数）、第三部分代数结构（包括第6章代数结构和第7章格与布尔代数）、第四部分图论（包括第8章图论）.本书是作者结合自己三十多年的教学经验与积累，并参考国内外同类优秀教材编写而成的，它注重基本知识和方法的应用，剔除了一些非必要的理论推导.本书的特色是： 内容实用，叙述通俗易懂，例题典型丰富，非常适合应用型高等院校理工类的学生使用.