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