※ [本文转录自 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