本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机科学专业(本科)教材。
集论部分的范围与常规教材大体相似，区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”：强调公理化思想及构造性技巧；对“关系演算”及“归纳与递归”两个板块做了较深入的处理；计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中；以较直观的方式给
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
沈恩绍（大魔王）写的书。事实上是打印的，因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
评分更新过的电子版比较好
评分沈爷爷你虽然退休了但是你无与伦比的智慧依然磨砺着这届ACMers'脆弱的智商与单纯的世界观 感谢沈爷爷你把最好的爱都给了集合给了逻辑给了计算机科学导论 我们对您最好的回馈 也许就是好好学习 争取早日看懂 QAQ
评分更新过的电子版比较好
评分沈恩绍（大魔王）写的书。事实上是打印的，因为买不到。语言语义角度分析的很好。公理化逻辑很漂亮。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有