图书标签: 计算机科学 数学 逻辑 课本 计算机 沈恩绍
发表于2024-11-22
集论与逻辑 pdf epub mobi txt 电子书 下载 2024
本书由基础集论与经典(一阶)逻辑两部分内容组成,为高标准的计算机科学专业(本科)教材。
集论部分的范围与常规教材大体相似,区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”:强调公理化思想及构造性技巧;对“关系演算”及“归纳与递归”两个板块做了较深入的处理;计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中;以较直观的方式给
我觉得最大的亮点是Tabluar,但是可以直接看那本《应用逻辑》的。然后书其实可以写得更厚一点,或许更容易理解
评分沈恩绍(大魔王)写的书。事实上是打印的,因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
评分更新过的电子版比较好
评分我觉得最大的亮点是Tabluar,但是可以直接看那本《应用逻辑》的。然后书其实可以写得更厚一点,或许更容易理解
评分我觉得最大的亮点是Tabluar,但是可以直接看那本《应用逻辑》的。然后书其实可以写得更厚一点,或许更容易理解
评分
评分
评分
评分
集论与逻辑 pdf epub mobi txt 电子书 下载 2024