📚 网上馆配 · 在线荐购平台

内容简介：本书分为四部分，共9章。第一部分为数理逻辑，主要包括命题逻辑、一阶逻辑及数理逻辑中的推理证明等内容。第二部分为集合论，主要包括集合、矩阵、关系和函数等内容。第三部分为图论，主要包括图的基本概念和矩阵表示、特殊的图和树等内容。第四部分为代数系统，主要包括代数系统基础、格与布尔代数等内容。