臺大開放式課程 (NTU OpenCourseWare)

臺灣大學開放式課程 (NTU OpenCourseWare) ... 邏輯 共同教育中心 傅皓政 本課程是以學習初階邏輯 (First-order Logic) 為目標。自從十九世紀末德國哲學家弗雷格(G. Frege) 認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動...

ocw.aca.ntu.edu.tw