甜度：⭐⭐⭐⭐⭐

涼度：⭐⭐⭐

整體推薦：⭐⭐⭐⭐

[Overview]

系上少有的Verification課，也有很多邏輯，不須門檻的一門酷課

[Loading]

有幾次手寫作業，也有幾次程式作業，都不難，翻翻課本或查網路上就會了，除了一個東西叫coq（讓他涼度變3星的罪魁禍首），十分玄的東西，不過剩下的東西基本上照著老師做一遍不會太難。期中期末也不難，可以開電腦（但不能開網），只要寫過考古基本上長一模一樣，算是一門邏輯或程式驗證的基礎入門課