老師很棒!!

教得很清楚，很詳盡，讓人很容易進入狀況，不過有時作業的嚴格規定難免會讓我想到建構式數學...，不支倒是不是還有斟酌的空間，講義因為是第一次的關係，所以要自己印，有時難免會造成不便。

謝謝老師

slides上的數學符號如果可以改好一點，那就更好了。例如imply、for all、for some...等，好像都有對應的符號在powerpoint 裡

王老師也是一個好老師，這堂課他也算是學習中，雖然教學很好也沒有痞漏，仍然很謙卑，值得學習

這門課可以訓練邏輯推理的能力，利用有系統的方式來進行邏輯推理，讓頭腦更有組織性。

這也是我第二次修教授的課，老師的風格跟當初電電一樣：清晰、詳實。這種上法的好處是對細節的掌握很仔細，對注重邏輯性的課來說格外重要。這門課我覺得可以當成數學的基礎原理來看，在講邏輯體系與其推演，含理論性強的述詞邏輯(sentential logic)、斷言邏輯(predicate logic)，以至上述兩者的根本：公理系統(axiomatic system)，到應用性濃厚的公理化數系(axiomatic number system)、時間邏輯(temporal logic)，涵蓋廣泛，對邏輯體系的了解很有幫助！前兩個主題我在大一上修批判思考的時候聽過，所以對我來說比較像喚起記憶；後面的話就完全是新題材，兩個公設系統耳聞卻未曾深入理解過， 上課就得注意了。這邊我開始了解希臘三哲他們所推崇的邏輯體系是怎麼演繹的：用最少的假設與推演規則，建構出一個完整、自洽的邏輯系統，用以解釋現象。這跟科學革命教我的東西可以印證：這就是現代自然科學的根本，一次又一次的天文、物理知識辯證戰，就是在對這個邏輯體系的假設做推敲！地心說對日心說、萬有引力、相對論、量子論......等等都是。話說回來，課程本身的話跟邏輯系統本身一樣嚴謹度足夠，先用具體的述詞邏輯、斷言邏輯讓我們理解，再引入正式的公理系統，說明語法、語意的區別、個別推演後，進一步用其他定理連結兩者，連結相當緊密。公理化數系則較為有趣，也讓我理解數學歸納法的根本；我也才明白當初微積分說的"函式保證序列"原則是怎麼回事，黎曼和(Riemann Sum)之所以重要，就是把積分和級數藉由極限的概念串聯起來~ 離散和連續可以這樣銜接，數學真的很巧妙，不是？最後的時間邏輯雖然只有簡單介紹computation tree logic(CTL)，但也可以看出邏輯在資工領域的重要性，尤其在塑造模型與確認上；將來有機會應該會從這邊下手，自修model checking的部份，幫助我的研究~另外要提的是老師的風度！最後幾堂課關於CTL內定義的爭議，教授真的心平氣和站在台上和大家討論、聆聽意見，而沒有呈現慌張的樣子，佩服！這也是我應該學的地方：大家是來討論知識、不是針對我這個人的，分清楚、理性點~