若是通识课程评价，请用 [通识] 分类，勿使用 [评价] 分类
标题范例：[通识] 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+)
其实我自己觉得这堂课很像数学课，上课就是写白板，然后定义定理证明附加讲解这个
定理跟定义的意涵。
老师讲解跟讲义都很清楚，上课有听且有花时间念肯定是有收获的。
唯一的小小缺点大概是老师的板书很乱不太好抄吧。每堂课我几乎都是抄一抄就放弃了
不然我还蛮想抄完老师画的图的，对理解证明跟想法很有帮助。
而且老师人很好，有问题都可以直接问。我自己后来觉得有点可惜的是期中后不太有时间
预习，没办法在上课问问题。
大概这样吧~我觉得小大一或是其他想修杨老师的课的不需要太害怕~
然后不要看我上面打了很多帅气的数学的样子(?)，不需要会那些也可以修啦~
逻辑这种科目就是要花时间念的，有没有背景只是影响要念多久，但是只要有花足够的心
力，我相信都可以念得不错的。