图书标签: 数理逻辑  数学  逻辑学  哥德尔  逻辑  大三下  高分  画画   

喜欢 数理逻辑 的读者还喜欢

• 
  数理逻辑通俗讲话 pdf epub mobi txt 电子书 下载
• 
  数学基础 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  数理哲学导论 pdf epub mobi txt 电子书 下载
• 
  近世代数引论 pdf epub mobi txt 电子书 下载
• 
  代数 pdf epub mobi txt 电子书 下载
• 
  数理逻辑引论 pdf epub mobi txt 电子书 下载
• 
  数论I pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  集合论基础 pdf epub mobi txt 电子书 下载

这是一本很好的书！书中的公理体系非常简洁！我通过这本书了解了数理逻辑，并锻炼了思维，感受到了逻辑系统的有效性与完全性，以及哥德尔不完备性定理的优美之处。

建议先读同作者的《数学基础》

建议先读同作者的《数学基础》

这是一本很好的书！书中的公理体系非常简洁！我通过这本书了解了数理逻辑，并锻炼了思维，感受到了逻辑系统的有效性与完全性，以及哥德尔不完备性定理的优美之处。

我知道自己还差得远呢

全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...

全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...

全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...

全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...

全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...