作者：刘忠艳主编
出版社： 清华大学出版社
CIP号：2016160137
书号：978-7-302-44173-1
出版地：北京
出版时间：2016
定价：￥39.5
本书包括数理逻辑、集合论、图论和代数系统等四部分内容。本书中定义、原理论述详细，通俗易懂，内容丰富，即注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用，每一章的后面都有对应这一章知识点的习题，便于更深入理解和巩固所学的知识理论基础，建议64学时左右。