※ [本文轉錄自 neoneon 信箱] 作者: [email protected] ("愛宕有機奈米負離子貓") 標題: [心得] 林甫俊 數理邏輯 時間: Sun Jul 10 12:08:00 2016 作者: nathan (胖彬) 看板: NCTU-Teacher 標題: [心得] 林甫俊 數理邏輯 時間: 2013/06/27 Thu 09:57:49 （按Ctrl+v 預覽，稍微修一下版面，可讓你這篇文章更專業喔^^） ⊕課名⊕ 數理邏輯 ▲教授▲ 林甫俊 ★修課年度★（請加註開課單位 如:大三通識、XX系選修、XX所） 101下 ￡教了什麼￡（課程大概內容。或是額外學會了什麼東西。） 4周上Sentential Logic 7周上First-Order Logic 3周上Temporal logic 課本是用Herbert B. Enderton, "A Mathematical Introduction to Logic" 這本書有4章 只會上前兩章 就是Sentential Logic和First-Order Logic Sentential Logic剛開始是數位電路及離散數學都有看到過的and or not 還有if and only if等等的簡單邏輯 後面還會說到well formed formula Completeness Compactness Decidability這些性質 這時候就是滿滿的證明了 First-Order Logic最大的不同是加上了量詞 像是∀x ∃y之類的 而且理論也更多 更複雜 像是Truth and Models Definability of Structure 證明也都很抽象 Temporal logic就輕鬆許多了 因為只有3周 而且只要會Sentential Logic 就可以很快學會 這時候老師是用 http://cgi.csc.liv.ac.uk/~michael/TLBook/ 這網站上的投影片來上課 所以也不用買課本 ◆上課方式◆（投影片、團體討論、老師教學風格） 按部就班照著投影片一步一步教 比較討厭的是 有時候要等他上完課才會把投影片放在e3上 而且偶爾還會改投影片 所以沒課本的人有時候就兩手空空來上課 或者是有時頁數對不上 除此之外 老師人還滿好的 都很盡力回答同學的問題 難寫的作業也會有提示 在教到completeness以及incompleteness時 還講了很多數學家的故事來提振我們精神(因為老師怕太抽象我們會睡死) 偶爾點同學回答問題順便聊天 答不出來會引導一下這樣 ▼考試作業▼ 配分是42%作業 30%期中 30%期末 作業一學期總共有14次 每個禮拜出一次 繳交時間過後就會放解答 要自己掃描成pdf傳到e3上 一次占3% 每一次有五題 一題五分 共25分 所以就是拿20分的話等於拿到2.4分 21分等於拿到2.52分 以此類堆 作業大部分是課本習題 很多證明題 並不好寫 不過助教改很鬆 有寫的話不可能全錯 而且老師也會給提示 所以原po作業從沒低於20分 考試其實就是作業的變形而已 所以考試之前如果沒時間看投影片或課本 就看你寫過的作業 應該也是可以及格的(期中考平均有70 滿分105) ￥其他￥（是否注重出席率or嚴禁遲到？需要的基礎？） 老師每堂課都會點名 而且因為修課人數只有20幾個 所以到期中後不用看點名單都知道是誰沒來 幾月幾號缺席都會被記錄在e3上 缺席...我也不知道會怎樣 這方面等成績出來再補充吧 有離散數學的基礎應該可以吃一個月的老本 不過之後大概有半學期都會和證明度過了 ￠最後想說的話￠ 老師人很好 期中期末很佛 不過對符號有興趣應該可以學的比較快樂 ＆誰適合修這門課＆ 資工組8選二 對符號有興趣的人 -- ※ Origin: 交大次世代(bs2.to) ◆ From: 114-42-176-88.dynamic.hinet.net 推 gxlkhhc：推薦這篇文章 06/27 10:02 推 LeoLin：推薦這篇文章 06/27 10:29 推 happy8155：推薦這篇文章 06/27 11:56 推 u1240976：推薦這篇文章 06/28 01:07 成績出來了 翹課不會扣分 然後一分都沒調 作者從 114-44-186-253.dynamic.hinet.net 修改文章於 2013/07/01 Mon 23:43:16

※ 發信站: 批踢踢實業坊(ptt.cc) ※ 轉錄者: neoneon (106.105.175.48), 07/12/2016 03:29:27