作者：崔艳荣, 黄艳娟主编
出版社： 清华大学出版社
CIP号：2019138281
书号：978-7-302-53273-6
出版地：北京
出版时间：2019.
定价：￥49.0
本书共分四篇，分别是数理逻辑、集合论、代数结构和图论。数理逻辑包含命题逻辑与谓词逻辑两部分；集合论包含集合与计数、二元关系、函数；代数系统包含代数结构、格与布尔代数；图论包含图、树及特殊图等。本书除了讲述四个专题的基本知识点、定义、定理、推理过程外，还会配有实例及习题，同时也会在每个专题中指出该知识点对计算机科学的支撑和在计算机科学中的应用。