软件基础

大一有门课叫离散数学，老师喜欢炫耀形式化验证。

参考书籍