Javascript is not enabled! Please turn on Javascript to use this site.
邏輯 (2020版)
點閱 24,977 次 (2,641 次/本月)

邏輯 (2020版)

    傅皓政

本課程是以學習初階邏輯 (First-order Logic) 為目標。自從十九世紀末德國哲學家弗雷格 (G. Frege) 認識到數學基礎的問題開始,他認為應該替數學找到一個更堅實的基礎,由於這樣的...

本課程共 15 講,包含:
影片檔 15 個   教材檔 16 個   課程回饋

單元 1.導論:什麼是邏輯?
※ 若 YouTube 影片無法觀看,請點選 [NTU Video] 觀看

內容:導論:什麼是邏輯?  (本影音檔不提供下載) [NTU video]
單元 2.命題與論證
單元 3.命題邏輯語言
單元 4.古典邏輯語意學
單元 5.真值表法
單元 6.函映完備性
單元 7.真值樹法
單元 8.公理系統
單元 9.自然演繹法
單元 10.傳統語詞邏輯
單元 11.述詞邏輯語言
單元 12.日常語言與邏輯語言
單元 13.真值樹法 (述詞邏輯)
單元 14.自然演繹法 (述詞邏輯)
單元 15.常見的謬誤