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