希望能再增開延伸性的課程，例如temporal logic, model checking, modal logic或epistemic

logic 作業太需要靈感了...

第一次上老師的課，感覺還滿有趣的。這門課有受到一點訓練，算是受用！可以把課程弄得在抽象一點，然後從抽象裡面帶出具體實例，這樣學生會對那些邏輯的意義更有感覺。

希望第五章能更深入的探討 Kripke structure 與 CTL 等概念之間的關連性，以讓學生對邏輯的應用有更完整的認識。

作業與考試題目差異性很大