em 我在外实习 邮件问熊老师说会做录像但是目前似乎没有上传 有在校上课的同学能告知一下课程群吗（若有） >>更多

这学期授课全部由黄老师完成，解围老师担任助教。黄老师上课很用心，也讲得很好，而且很积极与学生互动，经常阶段性地关心同学们有没有听懂，每次课都会留半小时左右的时间给同学们课后提问。内容方面，前期主要是回顾和拓展了数理逻辑相关知识，后面会介绍该领域的一些基本知识和一些软件工具，印象最深的有SAT问题的求 >>更多

12给黄老师，8分给解助教老师，平均一下。黄老师上课真的非常认真，每次讲完知识点都会说有没有讲清楚，如果有同学说没理解还会再讲一遍。最后大作业评价的问题也是黄老师一起解决的，真的是我在科大碰到的最负责的老师之一。黄老师的口头禅是“事实上”，但是这个词听多了还是容易没搞懂事实上是什么。形式化方法这门课 >>更多

这门课给我的收获还是很大的，让我对形式化的理论和应用有了初步的认知。课程的优点说得挺多了，我说些其他的感受：大作业的评价方式似乎有些主观，可能无法让所有同学都满意。上课总体来说是很不错的，不过有时候可能会过于纠结某些细节。课程安排有待进一步的优化（前半部分节奏略慢）。最后被卡绩了 >>更多

这门课名字叫做形式化方法，我选这门课之前也不知道这门课是干啥的，只是因为这门课没有考试才选的，学完之后发现这门课真的不错。我觉得这门可以算作是对数理逻辑的扩展（这样说其实也不太准确，但是由于如果没学过这门课的内容，也不太好解释清楚，所以可以看作是数理逻辑的扩展）这门课的内容挺难的，但是只要上课跟着老 >>更多

很好的课，可惜我太菜听的不是很懂，后期基本没咋听。这门课没有考试，只有平时作业和大作业，我挑了一个最简单的大作业，不到一天做完就交上去了，最后总评3.0，很感动。 >>更多

客观地讲，这门课确实是三年来上过的最优质的课程，体验非常好。没有考试，作业也少，讲课效果也好，而且能感觉到学了不少东西。最后考核方式是自选的大作业，也可以选很简单的任务。说真的，上完这门课，感觉最后给分多少已经无所谓了。 >>更多

计科之鉴，建议计科的其他课程都向这门课学学。 >>更多

课程内容：包括理论和实际应用，详情可以参考其它评论。这是一门导引课程，所以会把许多方向都过一遍，但也不会在某一个方向上讲得太深。对于想要了解形式化方法的同学而言，这门课会是一个相当不错的选择，尤其适合喜欢数理逻辑/编译原理，或者对计算机理论感兴趣的同学。讲课：非常有条理，难能可贵的一点是详略有当，重 >>更多

出分了，来评个课。首先老师讲课非常非常优秀，课件也非常非常用心，非常符合个人审美，给分也不吝啬（因为班里选课人数较少，与H班有不少重叠，老师跟教务处沟通后说给到40+优秀率是可以的）；而且很为同学着想，下课前会留20分钟给同学们答疑。接下来介绍下课程内容，楼上已经讲得很清楚了，我就补充一点：没记错的 >>更多