图书标签: 数理逻辑 数学 逻辑 逻辑学 计算机 汪芳庭 入门 阅读
发表于2024-11-22
数理逻辑 pdf epub mobi txt 电子书 下载 2024
前半部分从代数观点讲的
评分好书
评分对 Godel 第二不完备性定理的证明很有趣,印象很深。。。大部分没耐心看了。。。(恨智低
评分好书
评分数学教材的写法哇,直奔公理系统……
全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
评分全书的重点在于证明不完备性定理的前后, 由一阶算术,原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写, 内容不包括一阶逻辑的元定理和模型论,集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前,先...
数理逻辑 pdf epub mobi txt 电子书 下载 2024