邏輯- 臺大開放式課程(NTU OpenCourseWare)

真值表法. 單元6． 真值樹系統. 單元7． 自然演繹法系統. 單元8． 對象、外延、量化詞. 單元9． 一階邏輯語言. 單元10． 日常語言的翻譯. 單元11． 真值樹系統. 選擇課程學期BySemester   選擇課程名稱CourseTitle 課程首頁CourseHome 課程簡介CourseIntroduction 指定閱讀AssignedReading 延伸閱讀ExtendedReading 點閱636,757次(2,047次/本月) 邏輯 共同教育中心    傅皓政 本課程是以學習初階邏輯(First-orderLogic)為目標。

自從十九世紀末德國哲學家弗雷格(G.Frege)認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動... 本課程共13講，包含： 影片檔14個   教材檔27個   參考資料39個  課程回饋 單元1．導論：甚麼是邏輯？ 單元2．命題與論證 單元3．語句連接詞 單元4．命題邏輯語言 單元5．真值表法 單元6．真值樹系統 單元7．自然演繹法系統 單元8．對象、外延、量化詞 單元9．一階邏輯語言 單元10．日常語言的翻譯 單元11．真值樹系統 單元12．自然演繹法系統 內容：自然演繹法系統   下載影音檔 觀看影音檔1 下載講義1 下載動畫檔1 下載參考檔1 下載參考檔2 下載參考檔3   單元13．常見的謬誤 ©2011國立臺灣大學NationalTaiwanUniversity使用者條款│版權聲明 地址:10617臺北市羅斯福路四段一號　E-Mail:[email protected] 電話:+886-2-33663367#584  瀏覽人數：0 贊助廠商：冠德建設股份有限公司、台達電子工業股份有限公司