發表於2024-06-07
數理邏輯 2024 pdf epub mobi 電子書 下載
全書的重點在於證明不完備性定理的前後, 由一階算術,原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫, 內容不包括一階邏輯的元定理和模型論,集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前,先...
評分全書的重點在於證明不完備性定理的前後, 由一階算術,原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫, 內容不包括一階邏輯的元定理和模型論,集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前,先...
評分全書的重點在於證明不完備性定理的前後, 由一階算術,原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫, 內容不包括一階邏輯的元定理和模型論,集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前,先...
評分全書的重點在於證明不完備性定理的前後, 由一階算術,原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫, 內容不包括一階邏輯的元定理和模型論,集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前,先...
評分全書的重點在於證明不完備性定理的前後, 由一階算術,原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫, 內容不包括一階邏輯的元定理和模型論,集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前,先...
圖書標籤: 數理邏輯 數學 邏輯 邏輯學 計算機 汪芳庭 入門 閱讀
對 Godel 第二不完備性定理的證明很有趣,印象很深。。。大部分沒耐心看瞭。。。(恨智低
評分讀過最深入淺齣的數理邏輯書
評分前半部分從代數觀點講的
評分前半部分從代數觀點講的
評分曆經7個月斷斷續續,總算把這本書讀完瞭。
數理邏輯 2024 pdf epub mobi 電子書 下載