发表于2024-11-25
Computability Theory 2024 pdf epub mobi 电子书
图书标签: 逻辑学 递归论 数学 CS 遞歸論 逻辑 美國 數學
只读了1/2,文字跟我老板一样简约,需要点修养才能读
评分只读了1/2,文字跟我老板一样简约,需要点修养才能读
评分觉得比rogers好懂些。。。
评分第一本英文数学书和英文证明。前面六章对数理逻辑基础的总结不错,789关于哥德尔定理和用创造集证明不完全性值得回顾,第十章arithmetical hierarchy粗略扫了一下,十二章有穷损害有思路详解,最后进阶部分四章智商时间限制没看
评分觉得比rogers好懂些。。。
Computability Theory 2024 pdf epub mobi 电子书