是不不错的书
评分包装挺好的,内容挺详细~
评分目次:预备知识;数学逻辑基础;一阶逻辑;一阶逻辑(连续的);布尔代数;模理论;递归理论(连续的);直觉一阶逻辑;公理集合论;非标准分析;一般索引;符号索引。
评分一阶公式的普遍有效性的推定证明可用算法来检查有效性。用技术语言来说,证明集合是原始递归的。实质上,这就是哥德尔完全性定理,虽然那个定理的通常陈述使它与算法之间的关系不明显。
评分连非标准分析都介绍了,内容全不全?不仅内容全面,而且讲解易于理解。
评分好好学习,好好学习
评分很好的书,内容详细,包装也不错。快递也很给力。
评分厚度、深度、清晰度和系统性并存的好书一枚。纯粹是一时冲动买的,结果翻阅之下,受益良多,感到庆幸。比较厚重,不适合作枕边书,但是放在书房某个位置,随时翻阅还是很好的。
评分有效的一阶公式的集合是无限不可数(Uncountable Infinite)的。这一集合是“递归枚举的”,即不存在一图灵机(从而不存在任何现有计算机和算法)可以对某个非一阶公式的输入告诉你“这个输入一定不是一阶公式”——它可能一直运算下去。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 图书大百科 版权所有