作者：朱保平等编著
出版社： 清华大学出版社
CIP号：2019008461
书号：978-7-302-52031-3
出版地：北京
出版时间：2019.
定价：￥40.0
本课程是信息化类专业的核心技术基础课，它为培养计算机系统设计、人工智能、数据库等人才方面具有重要的作用。教学内容包括: 命题演算基础；命题演算推理理论；谓词演算基础；谓词演算的推理理论；递归函数论；集合；关系；函数与集合的势；图；树与有序树；群与环、格与布尔代数。