Computability Theory 在線電子書 圖書標籤: 邏輯學 遞歸論 數學 CS 遞歸論 邏輯 美國 數學
發表於2024-11-07
Computability Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
第一本英文數學書和英文證明。前麵六章對數理邏輯基礎的總結不錯,789關於哥德爾定理和用創造集證明不完全性值得迴顧,第十章arithmetical hierarchy粗略掃瞭一下,十二章有窮損害有思路詳解,最後進階部分四章智商時間限製沒看
評分覺得比rogers好懂些。。。
評分第一本英文數學書和英文證明。前麵六章對數理邏輯基礎的總結不錯,789關於哥德爾定理和用創造集證明不完全性值得迴顧,第十章arithmetical hierarchy粗略掃瞭一下,十二章有窮損害有思路詳解,最後進階部分四章智商時間限製沒看
評分隻讀瞭1/2,文字跟我老闆一樣簡約,需要點修養纔能讀
評分覺得比rogers好懂些。。。
評分
評分
評分
評分
Computability Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024