※ 本文是否可提供臺大同學轉作其他非營利用途？（須保留原作者 ID）
（是／否／其他條件）：是
哪一學年度修課： 97-2
ψ 授課教師 (若為多人合授請寫開課教師，以方便收錄)
江介宏
δ 課程大概內容
mathematical logic, Sentential logic, First-order logic,
completeness theorem ... etc
Ω 私心推薦指數(以五分計) ★★★★★
老師認真/用心程度：★★★★+.5★
提起興趣程度：★★★
η 上課用書(影印講義或是指定教科書)
H. Enderton, A Mathematical Introduction to Logic
μ 上課方式(投影片、團體討論、老師教學風格)
投影片，教授自己做的，基本上是依照課本順序，不過會刪減一部份，會上完
第二章左右。教授講然後試著帶動同學討論。感覺老師是個謹慎的人，不太會
帶動討論氣氛，不過感覺得出來他很認真，每週的習題都會寄信提醒大家提早
開始以免最後一刻作業趕不出來。
σ 評分方式(給分甜嗎？是紮實分？)
作業30% 期中25% 期末25% Final project 20%
應該會稍微調分，不過沒有調很多，我期中5x，作業平均6x，期末估計5x
final project拼拼湊湊搞了30 slides而已，最後教授給我70整(應該是看我是
研究生，所以給及格分數，有人有拿低於70，不知道他是不是大學部的。)
ρ 考題型式、作業方式
作業主要是勾課本習題，也會視需要自己出一點，教授這門課也才開兩次
(含這次)，所以會試著避開出過的習題。
有期末專題，大概到2/3學期之後就不再出作業，而讓學生準備期末專題，基本上
是找有興趣的一個題目，作一點深入了解然後上台報告，最後再交出書面或是完整
的投影片版本，據教授自己說是希望能有給到 3hr talk的份量(約60 slides)。
期中考可帶小抄，不過個人覺得這對考試並沒有太大幫助，期末考帶回家考24hr.
ω 其它(是否注重出席率？如果為外系選修，需先有什麼基礎較好嗎？老師個性？
加簽習慣？嚴禁遲到等…)
完全不看出席率，這是研究所課程，本學期大概只有十人左右上課(包含旁聽的)
個人覺得不特別需要什麼基礎，課程網頁上是寫須有離散基礎，我個人覺得如果
有代數基礎可能會比較有幫助，不過主要是能把課本唸完，然後做習題便已足夠。
Ψ 總結
感覺教授是很認真的人，講話或教學嚴謹但不嚴肅，對關於這門課的準備應該算
相當充分，能確保自己會把教科書讀完並且能寫完作業的話，修這門課收穫會比
較大。教授有開另外一門課「邏輯合成與驗證」，這應該是他真正專長的。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.45.21.108
※ 編輯: Strogatz 來自: 140.114.32.191 (07/09 17:08)