给个9分吧，李老师讲的确实还不错，虽然谈不上特别令人印象深刻，但至少在我上过的课里算是质量比较好的了。 至于李老师的给分确实比较emmm，按往年说法是期中和作业不算成绩期末一锤定音，但今年似乎是算了期中和作业，具体比例未知。然而按照最终总评来看他似乎一分也没有调... 不过有一说一，李老师的考试确实 >>更多

似乎是微电子的必修，但对我来说是选修课 这学期有热统、固体物理和半导体物理，这三门课其实是交织的，尤其是固体物理，如果不懂固体物理的话，对半导体物理的一些知识也没法深入了解。比如第一章对硅回旋共振的分析，我在这门课上就没听懂，结果固体物理又讲了一遍。老师上课很认真，神采飞扬，声音洪亮，PPT+板书， >>更多

别的不说，期末爆炸能奶到优秀是我没想到的，这门课学下来感觉啥也没有，作业有答案，上机检查又很水，或许这就是妮可的统计课吧 >>更多

考试大家都很低，直接奶的飞起，考个50多总评80，不多谈，直接起飞，大家不要害怕，直接锋哥叫起来 >>更多

崔文泉是我爹，太奶了，虽然直接出总评，但我满打满算考个60几，总评奶到82，不多谈了满分走起。奥里给干了兄弟们 >>更多

作业较多，给分好像很好，老师也很温柔。不过会有四次小测，呜呜。顺便一提，老师的口音像向晚（ >>更多

这门课程内容很多，而且也比较杂。不过总的来说知识不是特别深，还是很好懂的。内容的话包含：1. 自动机基础理论（让大家了解为什么形式化验证是一项很“难”的事务）2. 命题逻辑、一阶逻辑、二阶逻辑和演绎推理（形式化验证的数学基础，基本上算是带大家复习一遍数理逻辑）3. SAT/SMT的应用和求解理论4. >>更多

卢老师人很好，幽默风趣，和同学们互动很亲近，讲课不局限于知识点本身，比较发散，当然对于我而言很难理解；老师逻辑能力很强，相关计算公式都会一一推导，PPT很详细，考试按PPT复习就行。给分超好，还记得我们学的时候卷子很难，但老师贼能捞。（srds可能思维跨度比较大讲课比较难以理解） PS： 关于卢老师 >>更多

知识点既多又琐碎，很难背，但是给分特好 >>更多

平时上课是念ppt，一章ppt一两百页，复习的时候比较难受上课不点名，没有小测大实验按时交，不是很难这次的考试前画的重点意外的准，还是可以信一下的，照着复习，背一背及格没什么问题ppt例题一定要看一定要看一定要看，考试有几道类似的题给分超级好，捞的力度很大，卷面以为要无了，总评给了优秀 >>更多