本书分为数理逻辑、集合与关系理论、代数系统和图论四篇。其中，数理逻辑搭建了符号化体系，用于解决文字的可计算性问题，是知识工程的理论基础，该体系还可以描述集合论中的所有概念。集合与关系理论中包含集合、关系、函数三大基础模块：关系是集合中笛卡儿积的子集，函数是关系的子集，二者奠基了大数据计算的理论框架。代数系统依托任意集合上的运算构建，可完成任何对象的可计算分析，既能研究单一集合内的多种运算，也能分析不同代数系统之间的运算关联。