自学方法:定义看 PPT,证明看书,即可。因为考试和Quiz的套路十分固定,所以平常不用关注除了最后一章的证明。

Quiz相关: JXG老师是每章布置作业后的第1/2周的课前进行Quiz,切勿迟到。YYC老师的Quiz往往迟于JXG老师,且题目相同。

关于最后一章undecidability的证明可以参考这个题目集题目集答案,涵盖了常见套路和小结论,应该足以应对所有相关题目。

文件列表