不针对老师，这门课自身都能拿来当软工反例了吧 >>更多

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

潘永亮老师，我的超人！ >>更多