集论与逻辑

本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机科学专业(本科)教材。集论部分的范围与常规教材大体相似，区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”：强调公理化思想及构造性技巧；对“关系演算”及“归纳与递归”两个板块做了较深入的处理；计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中；以较直观的方式给出了集论世界的“全景图”，但不是完整地介绍公理集合论。

逻辑部分内容较同类教材丰富，包括通常在研究生课程中

类别

其他

图书编号

190

当前读者

实验室