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

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

老师上课真的很好，推荐大家明年来选。 >>更多

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

出生（nmd pksq 非要凑10个字是吧） >>更多

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

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