數理邏輯

數理邏輯 pdf epub mobi txt 電子書 下載2025

出版者:中國科學技術大學齣版社
作者:汪芳庭
出品人:
頁數:273
译者:
出版時間:1990年9月
價格:5.00
裝幀:
isbn號碼:9787312002007
叢書系列:
圖書標籤:
  • 數理邏輯 
  • 數學 
  • 邏輯 
  • 邏輯學 
  • 計算機 
  • 汪芳庭 
  • 入門 
  • 閱讀 
  •  
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

具體描述

讀後感

評分

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

評分

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

評分

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

評分

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

評分

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

用戶評價

评分

好書

评分

就想給五分

评分

就不看第三第四部分瞭

评分

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

评分

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

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有