全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
里面讲到代数总是虎头蛇尾扯一下就结束,但是这种写法大概是逼格稍高。相关内容可以看tarski的徒子徒孙们比如monk,givant等人写的逻辑和布尔代数书。可读性很强,证明没有多少跳步,没数学基础的人(包括文科生大一时)也能很容易看完。
评分读过最深入浅出的数理逻辑书
评分就想给五分
评分好书
评分历经7个月断断续续,总算把这本书读完了。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有