最后一次系统学数学了

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