圖書標籤: 數理邏輯  數學  邏輯學  哥德爾  邏輯  大三下  高分  畫畫   

喜歡 數理邏輯 的讀者還喜歡

• 
  數理邏輯通俗講話 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 電子書 下載

這是一本很好的書！書中的公理體係非常簡潔！我通過這本書瞭解瞭數理邏輯，並鍛煉瞭思維，感受到瞭邏輯係統的有效性與完全性，以及哥德爾不完備性定理的優美之處。

Very good one

繼承瞭科大編書的簡介扼要，推薦有一定基礎的讀者閱讀。

建議先讀同作者的《數學基礎》

我知道自己還差得遠呢

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

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

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

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

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