本书是普通高等教育“十一五”国家级规划教材。本书是在第一版的基础上结合近几年的教学实践修订而成的。为了更好地适应计算机学科发展的需要,增加了部分新知识与新内容。全书共分8章,主要内容包括集合论基础,计数,古典数理逻辑,图与网络,数论基础,群、环、域,格与布尔代数,以及语言和有限状态机等。
本书体系严谨、选材精练、深入浅出、例题丰富,可作为高等学校计算机及相关专业“离散数学”课程教材,也可供从事计算机研究工作的人员参考。