明天结课，赶在期末之前来评论，免得受到成绩影响（这老师可能不怎么调分）。总的来说，上管老师的课程收获还是比较大的，和l2班的其他老师比起来，管老师的课程能让你收获更多东西。不得不说，科大的英语教育属实是一言难尽，低级班老师基本上就照着课文讲，然后问问哪里有问题，课程无聊至极，一学期下来学到的东西趋于 >>更多
给个9分吧，李老师讲的确实还不错，虽然谈不上特别令人印象深刻，但至少在我上过的课里算是质量比较好的了。 至于李老师的给分确实比较emmm，按往年说法是期中和作业不算成绩期末一锤定音，但今年似乎是算了期中和作业，具体比例未知。然而按照最终总评来看他似乎一分也没有调... 不过有一说一，李老师的考试确实 >>更多
似乎是微电子的必修，但对我来说是选修课 这学期有热统、固体物理和半导体物理，这三门课其实是交织的，尤其是固体物理，如果不懂固体物理的话，对半导体物理的一些知识也没法深入了解。比如第一章对硅回旋共振的分析，我在这门课上就没听懂，结果固体物理又讲了一遍。老师上课很认真，神采飞扬，声音洪亮，PPT+板书， >>更多
别的不说，期末爆炸能奶到优秀是我没想到的，这门课学下来感觉啥也没有，作业有答案，上机检查又很水，或许这就是妮可的统计课吧 >>更多
考试大家都很低，直接奶的飞起，考个50多总评80，不多谈，直接起飞，大家不要害怕，直接锋哥叫起来 >>更多
崔文泉是我爹，太奶了，虽然直接出总评，但我满打满算考个60几，总评奶到82，不多谈了满分走起。奥里给干了兄弟们 >>更多
作业较多，给分好像很好，老师也很温柔。不过会有四次小测，呜呜。顺便一提，老师的口音像向晚（ >>更多
这门课程内容很多，而且也比较杂。不过总的来说知识不是特别深，还是很好懂的。内容的话包含：1. 自动机基础理论（让大家了解为什么形式化验证是一项很“难”的事务）2. 命题逻辑、一阶逻辑、二阶逻辑和演绎推理（形式化验证的数学基础，基本上算是带大家复习一遍数理逻辑）3. SAT/SMT的应用和求解理论4. >>更多
知识点既多又琐碎，很难背，但是给分特好 >>更多