这门课本科生和研究生都可以选，本科生在西区上网课，研究生则是在高新区。课程分两部分，第一部分是静态程序分析，第二部分是编程语言理论。考试开卷，我那个时候PL的部分没怎么复习，到最后没做完。程序分析部分的参考教材是这个https://users-cs.au.dk/amoeller/spa/，老师的pp >>更多

有平时作业，但不算成绩，作业对课程理解有帮助，基本纯期末考试老师上课纯板书，会带大家过一遍重点概念和公式别交白卷就行，不挂人(大于60，不是大于75)2022.8.23更新偶然听说有位同学就写了一个题，老师把他挂了和其他同学交流，感觉考试答卷上应该要有自己的理解，全照搬照抄老师黑板笔记得分不会高考点 >>更多

我没接触过竞赛，对物理学也没有深刻的认识，单从个人体验出发打个分。这门课不能说很好，但也还可以了。老师和助教人不错，特别是助教，很注重思维的严谨性。课程挺简单的，作业也多是敲计算器的题目，感觉意义不是很大。对我来说考试难度适中，然而我只是卷面分刚过均分的水平……最后老师慷慨地给了我3.7，嗯，知足了 >>更多

殷老师水平相当高，动作非常潇洒！班里基本都是网球萌新，殷老师教得非常耐心细致，每项技术动作都会拆解教学，对于我这种零基础的小白来说很友好。平时安排的练习有挥拍、短场地对打、对墙打、一人抛球另一人打这几种，期末考核是1000米跑和正反手对墙打。其中1000米占30分，正反手对墙打各有10分基础分和20 >>更多

上课也不知道讲了个啥，ppt写的还不如印三个字：去看书，老师经典口头禅：这个东东。想问这个东东到底是什么东东。怎么两个月了还没给分呢 >>更多

今年大雾增加预约系统，可以自选实验，选了一些吐槽较少（得益于之前某位学长的帖子）、自己感兴趣的实验，亲身体验还好，没有传说中那么可怕。遇到的数位助教和老师，大部分都会认真地讲解、耐心地指导，给分也很慷慨。这学期过大半时，增加了讲评环节，可以在上课的前15分钟到之前做实验的教室领取批改后的报告、听取点 >>更多

讲的很好！作业不多，很好地激发了我们探索科研的兴趣，强烈安利！ >>更多

李老师上课用的是课程组制作的网站，其中会穿插一些实际生产中的应用。实验课先在教室上一节课，然后到机房上机，主要是助教指导、完成由老师布置的习题（基本都出自习题集，提前准备好可以很快完成）。每次课布置的习题大概需要一个小时左右完成（助教给了2个版本的习题集答案可以参考，资源见下），用电脑绘图、然后提交 >>更多

叶老师上课不用PPT，定理基本会在黑板上抄写、大部分会书写证明，同时补充一些例题帮助理解，每部分结束时再补充一些难度较大的课后、课外习题。老师在课程群里也比较“活跃”，同学们的疑惑基本会解答，有时打字不方便也会手写并拍照发送。叶老师布置作业不多也不少，并且倡导同学们简单做一下剩下没布置的课后习题。助 >>更多

我没有上过这门课。评价太少了，所以我随便说几句。 是这样的，我暑假本来选了这门课，但是因为一些原因，第一次课上课的时候在外地，没法去，然后跟老师发了邮件，问有没有网课。过了两天之后，老师回复了。 第一次课前我预习了课本，也看了评课社区那位同学给的链接。他那个链接要求的很多插件看起来都挺古老的，有的比 >>更多