圖書標籤: 數理邏輯  數學  邏輯  邏輯學  計算機  汪芳庭  入門  閱讀   

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

• 
  數理邏輯通俗講話 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 電子書 下載
• 
  Logic in Computer Science pdf epub mobi txt 電子書 下載
• 
  Set Theory pdf epub mobi txt 電子書 下載
• 
  代數幾何 pdf epub mobi txt 電子書 下載

對 Godel 第二不完備性定理的證明很有趣，印象很深。。。大部分沒耐心看瞭。。。（恨智低

好書

對 Godel 第二不完備性定理的證明很有趣，印象很深。。。大部分沒耐心看瞭。。。（恨智低

前半部分從代數觀點講的

就不看第三第四部分瞭

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

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

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

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

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