得书 - 好书推荐、正版图书免费阅读

内容简介

本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机科学专业(本科)教材。

集论部分的范围与常规教材大体相似，区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”：强调公理化思想及构造性技巧；对“关系演算”及“归纳与递归”两个板块做了较深入的处理；计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中；以较直观的方式给

集论与逻辑是2003年由科学出版社出版,作者沈恩绍。

得书感谢您对《集论与逻辑》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。