作者：吴秀兰, 冯毅夫, 朱宏编著
出版社： 清华大学出版社
CIP号：2018243445
书号：978-7-302-51454-1
出版地：北京
出版时间：2018
定价：￥30
本书共分八章，第一章主要介绍：命题基本概念、运算及推理理论。第二章主要介绍：谓词逻辑基本概念、等值演算、前束范式以及谓词逻辑的推理理论。第三章主要介绍：集合的基本概念及运算。第四章介绍关系的定义、运算、性质以及函数定义、运算和性质。第五章主要介绍代数系统及同态、同构。第六章主要介绍格的定义、分类及行性质。第七章主要介绍图的定义、表示、特殊的图、图的应用。第八章主要介绍树的相关知识。