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

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

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

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

多变量微积分(潘永亮) 2021春

潘永亮老师,我的超人! >>更多

jzpa

  • 简介:None
  • 博客: 暂无
  • 关注了 0
  • 被关注 0
  • 关注了 1 门课程
  • 点评了 8 门课程