课程内容：包括理论和实际应用，详情可以参考其它评论。这是一门导引课程，所以会把许多方向都过一遍，但也不会在某一个方向上讲得太深。对于想要了解形式化方法的同学而言，这门课会是一个相当不错的选择，尤其适合喜欢数理逻辑/编译原理，或者对计算机理论感兴趣的同学。讲课：非常有条理，难能可贵的一点是详略有当，重 >>more
郑老师的课，从授课质量上可以看出是花了不少心思的，但是在实验、作业、考试等方面有些个人感觉很坑的点。选课还请慎重考虑。大多坑点其他人已经说得很明白了，这里补一些我觉得不太合适的地方吧。郑老师讲课可谓负责，基本不念PPT，但也许是因为和我的电波对不上，全程听下来体验一直很差，自己看龙书反而效果更好。老 >>more
屑课，不建议选。一方面内容无用。课程内容基本是计算机考古学，个人唯一的收获就是充分体会到了x86架构有多屑。另一方面给分没有保障，实验给分，考试得分以及最终给分基本不透明。具体给分情况不明。本人全勤且完成所有实验，好好做了复习，期末考除了一道算法题未能完成所要求时间复杂度的算法外基本参照作业等原题答 >>more
作为最后一节单变量没啥参考意义，但还是写一下吧。讲课质量很高。尽管是一门重修课程(而且还是最早学的单变量)，但正如老师开头所说“作为单变量课程的提升和拓展”，全程听下来也确实能得到不少额外的收获。作为一个专门为重修开设的班级，分数竞争异常激烈。考试最重要的是理解(背)作业题和课堂例题(考试会有大量改 >>more