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

喜歡 數理邏輯 在線電子書 的讀者還喜歡

• 
  數理邏輯通俗講話 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯引論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  集閤論基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  集閤論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  哲學邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Logic in Computer Science 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Set Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  代數幾何 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

就想給五分

裏麵講到代數總是虎頭蛇尾扯一下就結束，但是這種寫法大概是逼格稍高。相關內容可以看tarski的徒子徒孫們比如monk，givant等人寫的邏輯和布爾代數書。可讀性很強，證明沒有多少跳步，沒數學基礎的人（包括文科生大一時）也能很容易看完。

前半部分從代數觀點講的

好書

數學教材的寫法哇，直奔公理係統……

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

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

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

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

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