数理逻辑 在线电子书 图书标签: 数理逻辑  数学  逻辑  逻辑学  计算机  汪芳庭  入门  阅读   

喜欢 数理逻辑 在线电子书 的读者还喜欢

• 
  数理逻辑通俗讲话 在线电子书 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 下载

就不看第三第四部分了

数学教材的写法哇，直奔公理系统……

就想给五分

前半部分从代数观点讲的

历经7个月断断续续，总算把这本书读完了。

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

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

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

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

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