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

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

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