本书由基础集论与经典(一阶)逻辑两部分内容组成,为高标准的计算机科学专业(本科)教材。
集论部分的范围与常规教材大体相似,区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”:强调公理化思想及构造性技巧;对“关系演算”及“归纳与递归”两个板块做了较深入的处理;计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中;以较直观的方式给
评分
评分
评分
评分
沈恩绍(大魔王)写的书。事实上是打印的,因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
评分沈恩绍(大魔王)写的书。事实上是打印的,因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
评分我觉得最大的亮点是Tabluar,但是可以直接看那本《应用逻辑》的。然后书其实可以写得更厚一点,或许更容易理解
评分沈恩绍(大魔王)写的书。事实上是打印的,因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
评分看一次恶心一次
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有