[轉錄][評價] 楊金穆基本邏輯

看板HSNU_1142作者chenaren (′˙ω˙‵)時間15年前 (2009/02/06 23:23)推噓1(1推 0噓 0→)

留言1則, 1人參與討論串1/1

※ [本文轉錄自 NTUcourse 看板] 作者: Hseuler (藍色貍貓) 看板: NTUcourse 標題: [評價] 楊金穆基本邏輯時間: Fri Feb 6 14:37:00 2009 ※ 本文是否可提供臺大同學轉作其他非營利用途？（須保留原作者 ID）（是／否／其他條件）：哪一學年度修課： 97-1 ψ 授課教師 (若為多人合授請寫開課教師，以方便收錄) 楊金穆 δ 課程大概內容什麼是邏輯? Beth-trees,Judgements, propositions and arguments, possible situations and counter-example sets,Sentence,Truth tables, truth functors,propositional logic,Semantics for the propositional language LK,Truth-functions, the truth-functional completeness, expressive adequacy,DNF,CNF,Interpolation theorem,the compactness and decidability of LK,Hilbert-Frege style axiomatic system, Predicate logic,LQ語言，Logic Subject,亞氏傳統邏輯，現代邏輯發展, 自然演繹法,進階邏輯課程介紹 Ω 私心推薦指數(以五分計) ★★★★★ 四點五顆星 η 上課用書(影印講義或是指定教科書) 老師自編教材 μ 上課方式(投影片、團體討論、老師教學風格) 老師講課+助教課檢討這堂課算是哲學系大一必修蠻硬的一堂課。老師上課會照課本講授，從最基本的什麼是邏輯到Predicate logic。中間會穿插一些邏輯史。老師很有自己的風格很多和很多哲學系的邏輯課很不一樣一般哲學系的邏輯課，都會教自然演繹法，但老師把它弄在附錄(也就是不考) 原因是他教了一個更強大的tableaux algorithm。也會教希爾伯特與佛雷格的公理化邏輯運算系統，不過要用那個證明定理很難。考試會給提示. 老師並不會教得非常細，所以很多東西要自己回去思考，進度是環環相扣因此每個禮拜的課程一定都要弄清楚，否則累積一堆東西最後會完蛋。老師也說過，作業的東西並不是一定教過的，例如DNF與CNF，老師沒有說要如何化成CNF與DNF，作業上卻有，所以要自己想，可以和同學討論。老師也把亞理士多得邏輯弄成附錄，因為現代的符號代數邏輯的能力更強，他認為沒必要去花很多時間去弄那個。老師很注重定義與表達，他時常問我們，什麼是formal language，也有問過什麼是expressive adequacy，要我們很明確清晰的表達出來。算是一種訓練。期末考也有名詞解釋的題目。上課會講一些哲學邏輯的東西，作業也會出，因為是哲學邏輯，有時候答案會有爭議，學生會分三班給同助教改考卷與講解，答案還會有不一樣的。 (最後會助教會討論並統一) 不過期末考題，我是沒有看到哲學邏輯的題目，據助教說是很容易會有爭議。大部分是要算與證明的。但是下學期就是專門的哲學邏輯課程。老師講義上會有很多定理，但許多不會有證明，因為要嚴格證明有些還要用到數學歸納法，如果每堂課都在玩證明，大概會抓狂，不過有蠻多可以直觀理解。裡面有一些有趣的課題，例如什麼是decidability，什麼是 effective procedure ，decision procedure ，也會說明命題邏輯與述詞邏輯哪一個是decidable的，這算是邏輯學在計算機科學的應用。但只是稍微提一下，不過名詞解釋有考。最後幾堂課，老師除了教授附錄外，也會講很多哲學與邏輯史，甚至講到那個時代的背景，例如Euclid第五公設使得非歐幾何的發現，影響到了近代的邏輯學。也會說一些數學基礎的問題。最後還說明了數理邏輯的發展與它的四大分科 (邏輯、集合論、模型論、證明論)，也談談了哥德爾不完備定理與可計算理論 (Recursion theory)，不過都只是歷史性的介紹，詳細內容沒有說，所以不會很難，也很輕鬆(作業都做完了XD)，也說說他在牛津上課的一些情況。助教很重要，每個禮拜的作業都會開補救課(講解作業如何寫)，但是只會給提示因為要讓你去思考，直接說答案就不好玩了。助教會在討論課說答案並檢討。有問題可以去問老師和助教，但通常都只會給你提示。 σ 評分方式(給分甜嗎？是紮實分？) 每個禮拜都有作業算是非常紮實的課作業要很認真寫比例佔很高沒有期中考(投票決定老師很民主) 有期末考作業要花很多時間星期三上完星期五交作業作業開學就發成一本要先寫沒問題只要有本事我曾經星期五 10點開始寫作業連續寫寫到晚上六點還忘記吃中飯= = 哲學本系這就是你的命= =(邏輯只開一班) 外系要修的話要有心理準備會占用很多時間當然天賦異稟的另當別論XD 如果你很用心期末考好好準備一定有回報期末考滿分好像三四百分有很難很難的題目但那種你可以不去做有上課教過的但是分數比較低有證明題沒教過想得出來分數可以賺很多簡單的題目應該就可以讓你段考拿不錯的分數老師還大放送說了一題必考題 ρ 考題型式、作業方式作業有一些是老師上過的有一些要自己想都式要思考的問題可以和同學討論有一些題目自己想要花很多時間有一些題目則是要很細心很煩但是做完會很有成就感助教人很好有三位會給加分題例如一些證明題可以交給助教加分還會請你喝飲料 ω 其它(是否注重出席率？如果為外系選修，需先有什麼基礎較好嗎？老師個性？加簽習慣？嚴禁遲到等…) 不會點名，但是如果都不去肯定炸掉XD 也有外系加簽。助教課會發回批改的作業然後檢討不用基礎但講義是英文的英文要好一些我英文很爛就看得很辛苦最後幾乎是用想的..但會花很多時間所以建議英文要好另外會需要一些數學概念和基礎例如函數，還有一些簡單的排列組合不過不會很難 Ψ 總結這堂課很硬，但可以學到很多東西，老師是牛津哲學博士，很厲害，專長是邏輯、語言哲學、當代英美哲學，開了許多很有水準的邏輯與語言哲學課程。人也很好，很隨性，助教很熱心，可以去問他們很多問題。不過認真起來真的要花很多時間，通常困惑是必然的，但是困惑解除了就很開心。如果真的很有興趣可以來修。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.169.229.28 ※ 編輯: Hseuler 來自: 118.169.229.28 (02/06 14:37)

推

dirtymosher

02/06 14:42,

02/06 14:42

推

apd1990

02/06 14:54,

02/06 14:54

推

Yapp

02/06 18:50,

02/06 18:50