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

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

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

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

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

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

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

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

赞美李萍老师！现在想来，这门课最大的好处，就是让我在大一学习任务还不重的时候，愿意拿不算少的时间出来，去看一些历史文化类的书籍，虽然目的是为了完成老师布置的小论文作业，但是最后看书过程中产生的思考和写下的文字却是实际的收获。说来惭愧，老师布置的两个作业——鸦片战争前中西方文化一瞥、课程内容总结梳理— >>更多

这门课的课后作业基本就是： ppt搜索 + 百度 + CSDN每章的课件基本都是上百页而且真就可以做得到全程的高亮。上课极其的催眠（ 但是这可能和这门课的性质有关 ）考试确实和之前学长说的一样不需要动脑子，就是把他最后给出来的重点都背了 （至少没有他没有孙子兵法）至于给分的话比我的预期低了一点但是应 >>更多