邏輯學
Logic
學期
106-1
學分
0
學分
當期課號
A705
永久課號
A7400
開課單位
人文與社會中心
授課教師
王文方
校區
陽明
上課時間表
| 節 | 週二 |
|---|---|
1 08:00–08:50 | 邏輯學 YT104（陽明） 2 節連堂 |
2 09:00–09:50 |
* 根據陽明交大上課時間表所列
概述
教師未提供此項資料
先修科目
教師未提供此項資料
備註
無備註
教學方式
教師未提供此項資料
評分方式
教師未提供此項資料
課程大綱
教師未提供此項資料
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | 簡介:邏輯學在研究甚麼Thinking (p1~p13) 2017/09/12 |
| 第 2 週 | 人工語言與自然語言Arguments (p14~p27) 2017/09/19 |
| 第 3 週 | 命題邏輯語言PStrategy and Primitive (p28~p59) 2017/09/26 |
| 第 4 週 | 連接詞語意論與基本真值表Sentential and Decision (p60~p97) 2017/10/03 |
| 第 5 週 | 基本真值表的用途Translation into Sentential (p98~p115) 2017/10/10 |
| 第 6 週 | 語句分類與邏輯關係The Strategy Applied and Extended (p116~p125) 2017/10/17 |
| 第 7 週 | 語意樹枝法(一)Deduction I (p126~p135) 2017/10/24 |
| 第 8 週 | 自然演繹法(一) Deduction II (p136~p146) 2017/10/31 |
| 第 9 週 | Mid-term ExamSentential and Strategy (p147~p155) 2017/11/07 |
| 第 10 週 | 自然演繹法(二)Mid-term Exam 2017/11/14 |
| 第 11 週 | 述詞邏輯與言QPredicate Part I (p156~p179) 2017/11/21 |
| 第 12 週 | 自然語言的符號化Predicate Part II (p180~p205) 2017/11/28 |
| 第 13 週 | 自然演繹法(三) Translating into Predicate (p206~p231) 2017/12/05 |
| 第 14 週 | 自然演繹法(四)Validity (p232~p259) 2017/12/12 |
| 第 15 週 | 語意樹枝法(二)Identity, Problems and Prospects (p260~p274) 2017/12/19 |
| 第 16 週 | 模型論(一)Modal (p275~p287) 2017/12/26 |
| 第 17 週 | 模型論(二) Truth (p288~p308) 2018/01/02 |
| 第 18 週 | Final Exam 2018/01/09 |
教科書
教師未提供此項資料
Office Hours
- 地點
- 教師未提供此項資料
- 時間
- 教師未提供此項資料
- 聯絡方式
- 教師未提供此項資料