AvA 点评 (1门)
形式化方法(华保健) 学期:2022春

bj老师讲课讲的是真的好,能学到很多有趣的东西。这门课主要是从数学的角度去审视程序(从比特向量理论到符号乃至于软件测试),然后学会了些好玩的算法和工具。但是个人觉得这门课可能对一般的计算机就业(非科研向,尤指前端后台)并无多少帮助,就像是学哲学一样,只是对程序有了一种审视的新角度。但是对于写 com >>more

1 0