[評價] 107-2 楊金穆 基本模型理論
若是通識課程評價，請用 [通識] 分類，勿使用 [評價] 分類
標題範例：[通識] A58 普通心理學丙 林以正 (看完後請用ctrl+y刪除這兩行)
※ 本文是否可提供臺大同學轉作其他非營利用途？（須保留原作者 ID）
（是／否／其他條件）：是，都轉，都可以轉
哪一學年度修課：
107-2
ψ 授課教師 (若為多人合授請寫開課教師，以方便收錄)
楊金穆老師
λ 開課系所與授課對象 (是否為必修或通識課 / 內容是否與某些背景相關)
哲學系/哲學所選修
δ 課程大概內容
Introduction
Predicate calculus:Proof theory
Predicate calculus:Model theory
Basic mapping between structures
The compactness theorem and Lowenheim-Skolem Theorem
Theories of structures and unions of chains
Diagrams
Preservation Theorems
Categoricity
Omitting types theorems
Model completeness and forcing
Ultraproducts and Henkin-Keisler models
Atomic-prime models,saturated models
Kripke models,possible worlds semantics and modal logic
Ω 私心推薦指數(以五分計) ★★★★★
★★★★+0.5★
η 上課用書(影印講義或是指定教科書)
老師自編講義，每個章節後有不少參考資料
μ 上課方式(投影片、團體討論、老師教學風格)
全英文授課，搭配白板講解。
進度大概是每周一個TOPIC，看章節講義的厚度就知道要上多久了
σ 評分方式(給分甜嗎？是紮實分？)
應該是超甜吧XD，有念就A+
ρ 考題型式、作業方式
期末考100%，從上課有教過的幾個重要定理出題。
印象中有七題還八題，抽籤抽一題上台把定理完整敘述、證明一次。
老師說要是覺得講得不夠好可以再抽一題XD
不過大家講完就下課了，而且完整講一題其實蠻累的，沒有人講兩題。
ω 其它(是否注重出席率？如果為外系選修，需先有什麼基礎較好嗎？老師個性？
加簽習慣？嚴禁遲到等…)
出席率看不看不確定，修課人數只有個位數我相信大家應該也不太敢翹課啦....
雖然好像有一個是有修課都不太來的，期末他也沒來考就是了
我本身是物理系大三，我個人認為這堂課需要的基礎應該是基本的邏輯。
通識邏輯跟哲學系大一邏輯我都沒修過，所以前兩個星期上課我其實有一點點跟不上。
後來自己去圖書館借了A first course in logic來輔助，把前幾章的題目算完、證明
自己寫一遍之後，後面的部分就跟的上了。
其他的話，我覺得有修過一些數學系的課對這堂課很有幫助。
我自己是修過分析、代數、幾何。除了基本的函數運算外、很多模型理論證明的構造方
式跟代數和實分析在構造證明的方式相當相近，看到那些構造與函數會相當有親切感XD
而且morphism系列那個章節可以毫無阻礙的啃光owo
其他有幫助的部分我想應該是集合論，當然沒有這個背景我相信還是可以開心地唸完這一
科，但是有一點點集合論基礎的話，對理解一些構造也是相當有幫助。
Ψ 總結
剛好看到有人在問楊金穆老師的課，想說都念到大四了來玩一下ptt發文就發了這篇XD
我覺得楊金穆老師的課是值得修的，紮實且超甜。每個星期固定有跟上進度的話，我想
A+應該不是什麼難事(這堂課期末出席三個人，我猜大家應該都A+)
其實我自己覺得這堂課很像數學課，上課就是寫白板，然後定義定理證明附加講解這個
定理跟定義的意涵。
老師講解跟講義都很清楚，上課有聽且有花時間念肯定是有收穫的。
唯一的小小缺點大概是老師的板書很亂不太好抄吧。每堂課我幾乎都是抄一抄就放棄了
不然我還蠻想抄完老師畫的圖的，對理解證明跟想法很有幫助。
而且老師人很好，有問題都可以直接問。我自己後來覺得有點可惜的是期中後不太有時間
預習，沒辦法在上課問問題。
大概這樣吧~我覺得小大一或是其他想修楊老師的課的不需要太害怕~
然後不要看我上面打了很多帥氣的數學的樣子(?)，不需要會那些也可以修啦~
邏輯這種科目就是要花時間念的，有沒有背景只是影響要念多久，但是只要有花足夠的心
力，我相信都可以念得不錯的。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.4.209 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/NTUcourse/M.1565768623.A.667.html
推
08/14 21:24,
6年前
, 1F
08/14 21:24, 1F
推
08/17 11:12,
6年前
, 2F
08/17 11:12, 2F
推
08/21 14:59,
6年前
, 3F
08/21 14:59, 3F