对这门课做一个简单总结就是：课好，老师好，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触发器，同学很迷惑这 >>更多
陈香老师是很耐心认真的老师。一开始听老师的声音还以为是冷酷无情的老师，但是上着上着发现老师太可爱了，又认真又可爱又有耐心。平时问问题基本都可以得到很认真的解答，老师也很关心是不是我们都能听懂理解。非线电也是我很喜欢的一门课（目前遇到电路课和教电路的老师我都很喜欢），虽然还不知道以后具体会用在哪里，但 >>更多
趁大佬们都不在来抖个机灵，貌似是今晚出的分，问到的除了我都是4.3，内心毫无波动，已经哭了出来 这门课没有课程群没有助教没有作业没有考试，最后分数仅取决于最后的小论文（两道题的solution，据说每年不一样）。参考资料为徐佩老师的讲义（中间有不少类似于proof:exercise的内容），上课会补 >>更多
2020春的成绩隔了一个学期刚出分，比2020秋出分还晚你敢信？？不过提前选掉也有好处，看室友每天赶报告就是爽哈哈哈哈哈哈。这门课2020春学期是纯线上，用的软件是multisim，这个软件对以后做实验模拟电路还比较有用。总体体验比线下好太多了，线上报告只需要Ctrl+C和Ctrl+V就行。所以我给 >>更多
