Javascript is not enabled! Please turn on Javascript to use this site.
邏輯
點閱 146592 次 (5044 次/本月)

邏輯

共同教育中心    傅皓政

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

本課程共 13 講,包含:
影片檔 14 個   教材檔 41 個   參考資料 39 個 

單元 2. 命題與論證
單元 3. 語句連接詞
單元 4. 命題邏輯語言
單元 5. 真值表法
單元 6. 真值樹系統
單元 7. 自然演繹法系統
單元 8. 對象、外延、量化詞
單元 9. 一階邏輯語言
單元 10. 日常語言的翻譯
單元 11. 真值樹系統
單元 12. 自然演繹法系統
單元 13. 常見的謬誤