依照教育部2018年1月颁发的《普通高等学校本科专业类教学质量国家标准》,在近20年的“离散数学讲义”基础上,精心整理,编撰成本书。在编写过程中,充分考虑了重点高校和普通省属院校等各类学校的学生基础、教学特点和教材改革经验,以增强本书的适用性。 本书分为数理逻辑、集合论、代数系统和图论4篇,内容包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数系统基础、群/环和域、格与布尔代数、图论基础、特殊图与应用共10章。各章的每节都配有习题,重要术语均有相应的英文表述。 本书可以作为计算机科学与技术、软件工程、网络工程、信息安全、物联网工程等相关专业的本科生教材,也可以作为从事计算机软件、硬件开发和应用的工程技术人员的参考书,还可供教师参考或自学者使用。