上课可以完全不听去干别的事，几乎没作业，pre好好弄弄组里让你干啥干就行，开卷考试题跟闭卷似的，我给了个3.7，只要点名都去给分应该不会太差，我3.7。zz这种东西，还是别指望课上学，空间的对线比这好多了，不听问题不大 >>更多

注意！汤老师会在你能换课退课的时候先洗白，自己解释评课系统分低的原因，然后劝大家选她的课！汤老师上课非常一般，上思修课总会昏昏欲睡。关键是这个老师会要求线上学习，线上任务还特别多，看三个多小时的视频，还有十三次大作业，还有三次课堂展示评论区发言，最后还要线上考试。并且依据线上作业的正确率确定线上分数 >>更多

给分一般，线上的任务很多。关键是感觉没有什么收获，前面给同学展示花了太多时间，后面的核心部分没学到什么。 >>更多

不推荐，虽然给了我不错的分数。王老师上课讲的无关话题太多，并且喜欢在微信群分享缺乏营养的公众号文章。附上复习材料一份作为福利REVISION.docx >>更多

对这门课做一个简单总结就是：课好，老师好，ppt超神，助教nb，无奈本人太菜。。。 强烈推荐卢班先修这门课，这样可以避开严以京老师（他很强，但讲课真的难懂，用胡水明老师的说法是，比高量还高）。 课程不难，讲的很常规很细致，作业极少，期末冲分全靠陈老师ppt，这课刷个高分不是难事（不难指到4.0，4. >>更多

课程分两个部分spa （static program analysis） 和pfpl （Practical Foundations for Programming Languages）前一本书比较容易懂，里面数学就是些格之类；后一本书比较难看懂，里面有些数理逻辑之类；上课不用classin而用zoo >>更多

英语没上过3.0的同学第一次得了4.0 感动 ps：10分给lj老师 尹俊整天yygq >>更多

每次课前要听写，汪老师还说，有次其他班班没有通知听写，课前照样听写（有种刁难的味道）。 平时上课会有很多互动，保证每个人都能参与到，老师上课会介绍很多国外的习俗习惯，可能和她国外生活经历有关吧，如果想开拓视野，还是可以的。 平时我还是有好好准备听写的，上课也挺积极，课下有什么绕口令练习录音，pres >>更多

老师很好，助教很好，学的好难。这个除了认真听课（然后听不懂）之外，要自己找书找资料多学一些，才会做作业题。钱助教真的保命，习题课讲的东西对考试帮助很大。郑老师的题库不是很大，考试出题会有以前的考题或者一些作业题（改成选择题之类的），建议这些题要扎实把握。唉因为我也没太学懂这门课，只能分享一些复习经验 >>更多

秦老师nb！老师上课幽默，ppt清晰，群里互动也很多，问成绩的时候居然是去问他本人，而且问完可能又杀回来跟你说说你这卷子咋了咋了。很负责的老师。考试的时候考的T触发器的设计，当时一下没反应过来T的公式怎么凑，自己凑了半天突然脑子里回放起秦老师上T触发器时举得例子——某年考试考了T触发器，同学很迷惑这 >>更多