数据库系统及应用(董兰芳) 2021春

讲课约等于没有实验文档和懂王的演讲单句一样长(巧了你看这俩都姓董),文档的清晰度和拜登讲话一样清晰。期中组织了一模,实际卷子跟一模一毛钱关系没有。期末概念题风暴,比软工还软工。去死吧。 >>更多

形式化方法导引(黄文超) 2021春

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

软件工程导论(薛吟兴) 2021春

写在前面:这个评分是给课程本身的,不针对老师。薛老师每周从苏州赶过来上课,还能讲的绘声绘色,有理有据,我觉得真的很可以。软件工程导论,顾名思义,我们要学习如何用工程的角度看待软件。目标是了解从设计软件到组织编写软件到测试软件的一系列流程。一般这一类课我们有如下几种办法:一、学校出一个已有的工程给大家 >>更多

为保护隐私,您需要 登录 才能查看已学课程。

棉花糖

  • 简介:
  • 博客: 暂无
  • 关注了 0
  • 被关注 2
  • 关注了 3 门课程
  • 点评了 14 门课程