图书标签: 计算机科学 数学 逻辑 课本 计算机 沈恩绍
发表于2024-11-21
集论与逻辑 pdf epub mobi txt 电子书 下载 2024
本书由基础集论与经典(一阶)逻辑两部分内容组成,为高标准的计算机科学专业(本科)教材。
集论部分的范围与常规教材大体相似,区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”:强调公理化思想及构造性技巧;对“关系演算”及“归纳与递归”两个板块做了较深入的处理;计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中;以较直观的方式给
更新过的电子版比较好
评分沈爷爷你虽然退休了但是你无与伦比的智慧依然磨砺着这届ACMers'脆弱的智商与单纯的世界观 感谢沈爷爷你把最好的爱都给了集合给了逻辑给了计算机科学导论 我们对您最好的回馈 也许就是好好学习 争取早日看懂 QAQ
评分沈爷爷你虽然退休了但是你无与伦比的智慧依然磨砺着这届ACMers'脆弱的智商与单纯的世界观 感谢沈爷爷你把最好的爱都给了集合给了逻辑给了计算机科学导论 我们对您最好的回馈 也许就是好好学习 争取早日看懂 QAQ
评分看一次恶心一次
评分沈恩绍(大魔王)写的书。事实上是打印的,因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
评分
评分
评分
评分
集论与逻辑 pdf epub mobi txt 电子书 下载 2024