上课地点：首都师范大学本部三教412室是叶老师给逻辑学的研究生开的一门课，用一本经典的教材，好好读一本书。我们这学期的计划是完全读懂哥德尔不完备性定理，所以这本书读到第八章会读斯莫林斯基对不完备性的阐...
这个学期刚好上完这门课，此课绝对是CS课程中的神课，需要一定的决心和耐心才能啃下来。可计算理论是计算理论的一个分支，还有两个分支分别是自动机和计算复杂性。这些名词都顾名思义，自动机讲的是计算的模型，比...
