数据库系统及应用（董兰芳）
2021春
讲课约等于没有实验文档和懂王的演讲单句一样长（巧了你看这俩都姓董），文档的清晰度和拜登讲话一样清晰。期中组织了一模，实际卷子跟一模一毛钱关系没有。期末概念题风暴，比软工还软工。去死吧。 >>更多
形式化方法导引（黄文超）
2021春
这门课程内容很多，而且也比较杂。不过总的来说知识不是特别深，还是很好懂的。内容的话包含：1. 自动机基础理论（让大家了解为什么形式化验证是一项很“难”的事务）2. 命题逻辑、一阶逻辑、二阶逻辑和演绎推理（形式化验证的数学基础，基本上算是带大家复习一遍数理逻辑）3. SAT/SMT的应用和求解理论4. >>更多
软件工程导论（薛吟兴）
2021春
写在前面：这个评分是给课程本身的，不针对老师。薛老师每周从苏州赶过来上课，还能讲的绘声绘色，有理有据，我觉得真的很可以。软件工程导论，顾名思义，我们要学习如何用工程的角度看待软件。目标是了解从设计软件到组织编写软件到测试软件的一系列流程。一般这一类课我们有如下几种办法：一、学校出一个已有的工程给大家 >>更多
