推 aristoIris: 推-+ 01/13 14:00
※ 編輯: MorganLee (140.112.24.200 臺灣), 03/28/2024 00:06:44
※ 本文是否可提供臺大同學轉作其他非營利用途？（須保留原作者 ID）
（是／否／其他條件）：是
哪一學年度修課： 112-1
ψ 授課教師 (若為多人合授請寫開課教師，以方便收錄) 傅皓政
δ 課程大概內容
第1週 導論：什麼是邏輯？
第2週 命題與論證
第3週 命題邏輯語言
第4週 古典邏輯語意學
第5週 真值表法、函映完備性
第6週 國慶日調整放假
第7週 真值樹法
第8週 期中考
第9週 自然演繹法
第10週 傳統語詞邏輯
第11週 述詞邏輯語言
第12週 日常語言與邏輯語言
第13週 真值樹法 (述詞邏輯)
第14週 自然演繹法 (述詞邏輯)
第15週 常見的謬誤
第16週 期末考
Ω 私心推薦指數(以五分計) ★★★★★
甜度： ★★★★★
涼度： ★★★★
(03/28 更) A+:70.42%
η 上課用書(影印講義或是指定教科書)
無，上課用老師自製投影片
μ 上課方式(投影片、團體討論、老師教學風格)
主要是用投影片上課，解題的時候會用到黑板
σ 評分方式(給分甜嗎？是紮實分？)
作業成績 40% (這學期只有4次作業，有準時交就可以拿滿分)
期中考 30%
期末考 30%
另外還有加分小卡(只要是被老師點到、主動回答問題或是下課找老師問問題都可以拿到)
加分應該上限是10分(根據cool上的成績來看)
ρ 考題型式、作業方式
基本上考題我覺得跟作業蠻像的，然後期中期末的第一大題都是要默寫邏輯語言與形構規則(不是填空)
考前有看過簡報+寫過作業的話，拿80分以上應該不會太難，助教考前也會寄信提醒考試重點。
作業這學期只出4次，只要有準時繳交就滿分，答案cool上都有，但還是建議自己寫（對考試有幫助）
ω 其它(是否注重出席率？如果為外系選修，需先有什麼基礎較好嗎？老師個性？
加簽習慣？嚴禁遲到等…)
不點名，也不用基礎。
這門課在OCW上也有，如果沒上到課可以自己上網補
但老師上課氣氛很輕鬆幽默，也會跟大家閒聊（還可以拿加分卡x）建議還是去上課會比較好
如果想拿加分卡的話建議坐前面幾排比較容易被老師點到（尤其中間第一排）
涼度的部分，期中的考試範圍還算簡單，不用花太多時間讀
但期中過後感覺有比較硬一些，所以涼度我只給四顆。
不過考期末前老師有帶大家看過考試範圍一遍，還會問大家要不要考這個章節XD
老師人很好，除了上課有趣外，下課都可以找老師問問題，如果社恐不敢上課舉手的話可以藉這個機會順便拿加分卡(沒
Ψ 總結
這門課應該算是很有名的甜涼課
基本上我覺得可以輕鬆學習，但如果想拿A+還是建議考前一週要認真讀過會比較保險。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.240.118 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/NTUcourse/M.1705036643.A.690.html
※ 編輯: MorganLee (140.112.240.118 臺灣), 01/12/2024 13:19:14