Dominik Scheder · 计算理论修读档案

课程内容：就是上一条评论说的那些，顺便个别章节会参考《计算理论导引》这本书 上课自由度：高，本来选课的人也少，老师也不会点名，教室里常常空旷得能跳广场舞 考核标准：50%作业（小组形式）+50%期末考试（5道大题，可以看电子版资料，但不能上网搜索，我这学期的试卷应该可以在传承交大找到） 讲课质量：全白板英文连击英语播报，讲得还是不错的，但基本上全黑板板书，只有个别章节有slides，相当于给你发了一张地图手册之后就全靠腿走。中间听不懂也可以随时提问，老师会耐心地讲解，大家也会一起互动（教室里一般也就个位数的人，开会规模都比这大） 老师很不错，但我太菜了。因为老师讲课是全英文（毕竟是外籍教授），再碰上纯板书，我经常一个走神就整节课挂机......确实可以提问，但我的口语水平也很难描述出我的问题（不过还是提问了几次）。作业是小组形式，每周做几道题目，感觉很多时候靠组内大佬扛着我过河，有时候甚至看不懂他们写的解答。 总之这门课对大佬来说绝对算精品课程——高水平教授、自由的课堂讨论、高质量的讲授和作业。但如果你英文水平不太行（主要指口语），或者觉得自己比较菜，我建议还是慎重考虑吧.另一位老师也挺好的，水平也很高，讲的也很好，我数学基础课就选的她的课，计算理论就想换个新店试试手。现在回过劲儿来，早知道当初就选她的计算理论了（悲） 班上还有个大佬中期把这门课退掉了，虽然我不知道具体原因，但或许也算给这课的难度盖了一颗手印吧😭 顺便，如果选了这门课的话，awesome-cs上有同学写的课堂笔记，可以去翻一翻。

课程内容：boolean circuits, regular languages, general grammars, primitive recursive functions, Turing machines，一串英文名词砸脸上，像自动售货机把整排饮料全掉下来那种，爱喝不喝，反正这课就这个配方。 上课自由度：人少，老师上课会像雷达一样扫你有没有听懂，没听懂当场打断提问都不带举手蓄力的。打疫苗这种破事直接请假，说一声就行，听说还有几个一直挂网课修仙的。 考核标准：50%作业（小组作业，但本质是做题目，编程较少，逻辑站C位），50%考试。 讲课质量：很好！外教全英文，但认真听是能跟上的，像听英文播客不需要字幕那种。提问、要课件，直接跟老师开口就能解决。上课主打板书，到primitive recursive functions 和Turing machines时才稍微加了点代码，像清汤突然撒了把胡椒。 老师是第一次上这个课，我是交叉选进来的但本身逻辑还凑合，所以听下来不算困难，作业、考试也都还行。极其推荐想体验外教课堂方式的同学，另外老师真的认真负责，是抱着教书的心态来的（懂的都懂，和那种棒读PPT的课一比简直像换了个物种），他很注重和你们的交流，这点我很喜欢。计算机的同学我不知道中文班教得怎么样，反正这个还挺不错，英文也不算难，一堂课可能有一两个实在不懂的地方，也来得及查一下，或者直接提问都行。 交叉的话建议看看有没有认识的同学能组队，不过我上下来班级同学都还挺好的。但这作业量，想划水是不大行的，水面上看着平静，底下全是暗流。