若是通识课程评价，请用 [通识] 分类，勿使用 [评价] 分类 标题范例：[通识] 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://webptt.com/cn.aspx?n=bbs/NTUcourse/M.1565768623.A.667.html