计算理论¶
Abstract
- 参考笔记：鹤翔万里学长的笔记
- 说明（适用于非竺院计算理论课程）：这门课在最开始学习的时候走了很多弯路，一方面是早有耳闻计算理论是加强版的ads，产生了畏难情绪，在体系os计网各个lab的夹击下也搁置了很久计算理论的学习；另一方面是毛宇尘老师的讲课可谓是有口皆碑，但之前没有人说他讲的内容其实和非竺院班级的范围不一样，并且22~23的智云录制并不完全（后面几周课程都是空教室，而且前面也经常缺最开始的十分钟），导致了很多时候不知道应该怎么学以及学哪些内容。这也间接导致了本来打算在鹤翔万里学长的笔记基础上迭代一份计算理论笔记的大饼最后并没有完成（x，我把自己记了的部分放出来，并且留下一些计算理论的学习经验吧（希望学弟学妹们少走弯路：
- 虽然其他老师（除yyc）讲课都可以称得上不错，但是和毛宇尘老师相比还是有差距的，非常建议还是听毛宇尘老师的23~24秋冬智云一步到位，配合学长的笔记（我觉得真的已经很完善了），还可以看看郑乾老师的ppt作为补充（他的ppt真的让强迫症很舒适）。
- 毛宇尘老师智云&鹤翔万里学长笔记和非竺院范围差异：少了第一章的离散数学（？）可以算是预备知识内容（这块可以看郑乾老师ppt或者智云），其他图灵机及以前内容都一样，图灵机之后应该就考数值函数、\(\mu\)-recursive、recursive和r.e.的判定（规约）这块知识，复杂度理论以及其他零碎的知识点不考。
- 期末复习：先面向历年卷（下载链接：合集1|合集2|23~24回忆卷|19~20历年卷|17~18历年卷|13~14历年卷|12~13历年卷|06~07历年卷）复习，如果还是非毛宇尘的老师出卷的话大体内容换汤不换药（这是我觉得计算理论其实并没有ads难的地方，而且其实计算理论的知识脉络很清晰，没有ads散），然后规约部分可以刷这份资料（下载链接：题目|答案）的第一大题（39小题），我们今年的最后一题的某个小题和这个里面的第10还是11题很像，我就是前一晚上刚好刷了前15题然后做出来了（嘻嘻）。其他资料例如课本题、各个老师的作业题的性价比都没有上述两份资料高。