邏輯

共同教育中心傅皓政...本課程是以學習初階邏輯(First-orderLogic)為目標。自從十九世紀末德國哲學家弗雷格(G.Frege)認識到數學基礎的問題開始,他認為應該替數學找到 ...

邏輯

共同教育中心 傅皓政 ... 本課程是以學習初階邏輯(First-order Logic) 為目標。自從十九世紀末德國哲學家弗雷格(G. Frege) 認識到數學基礎的問題開始,他認為應該替數學找到 ...

相關分類資訊