`

最后一次系统学数学了

 
阅读更多
现在读的MSE软件工程硕士,本学期在学《程序验证理论》,特别难,用的是英文书,没中译本,其中讲到很多离散数学以及更深的其他东西,比如形式语义等等。老师讲的好,估计也是最后一次集中系统学数学了,希望大家学好。呵呵
分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics