上课地点：首都师范大学本部三教412室
是叶老师给逻辑学的研究生开的一门课，用一本经典的教材，好好读一本书。我们这学期的计划是完全读懂哥德尔不完备性定理，所以这本书读到第八章会读斯莫林斯基对不完备性的阐述，之后我们会在回来把余下的部分学完。
注：等这门课上完我会再来谈谈这本书，现在正处在无尽的苦逼推进中，无话可说。
叶峰老师这学期上这门课，用的就是这个教材，欢迎参加。
对“叶峰老师这学期上这门课，用的就是这个教材，欢迎参加。”的回应
《Computability》热门书评
-
什么是可计算理论
7有用 1无用 yearn 2013-06-28
这个学期刚好上完这门课，此课绝对是CS课程中的神课，需要一定的决心和耐心才能啃下来。可计算理论是计算理论的一个分支，还有两个分支分别是自动机和计算复杂性。这些名词都顾名思义，自动机讲的是计算的模型，比如图灵机，它是由无限长磁带，读写磁头和一些状态转移序列组成；可计算理论，研究的是一个函数（或程序）是...
-
叶峰老师这学期上这门课，用的就是这个教材，欢迎参加。
2有用 0无用 南北不通 2015-03-16
上课地点：首都师范大学本部三教412室是叶老师给逻辑学的研究生开的一门课，用一本经典的教材，好好读一本书。我们这学期的计划是完全读懂哥德尔不完备性定理，所以这本书读到第八章会读斯莫林斯基对不完备性的阐述，之后我们会在回来把余下的部分学完。注：等这门课上完我会再来谈谈这本书，现在正处在无尽的苦逼推进中...
书名： Computability
作者： N·J·Cutland
出版社： Cambridge University Press
副标题： An Introduction to Recursive Function Theory
出版年： 1980
页数： 264
定价： $31.99
装帧： Paperback
ISBN： 9780521294652