邏輯學
Logic
學期
108-2
學分
0
學分
當期課號
A946
永久課號
A7400
開課單位
人文與社會中心
授課教師
嚴偉哲
校區
陽明
上課時間表
| 節 | 週四 |
|---|---|
5 13:20–14:10 | 邏輯學 YT206（陽明） 2 節連堂 |
6 14:20–15:10 |
* 根據陽明交大上課時間表所列
概述
教師未提供此項資料
先修科目
教師未提供此項資料
備註
無備註
教學方式
教師未提供此項資料
評分方式
教師未提供此項資料
課程大綱
教師未提供此項資料
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | Activities: Arguments, validity, soundness, symbolization Reading: For all x, pp. 2-17, 26-31 |
| 第 2 週 | Activities: Logical connectives Homework 1 assigned Reading: For all x, pp. 32-48 |
| 第 3 週 | Activities: Sentences Use and mention (take-home lesson) Homework 1 due Reading: For all x, pp. 49-55, 56-60 |
| 第 4 週 | Activities: Truth-tables Homework 1 returned Homework 2 assigned Reading: For all x, pp. 61-77 |
| 第 5 週 | No Class |
| 第 6 週 | Activities: Semantic concepts for TFL Homework 2 due Reading: For all x, pp. 78-88 |
| 第 7 週 | Activities: Natural deduction for TFL: Basic rules Homework 2 returned Reading: For all x, pp. 102-134 |
| 第 8 週 | Midterm exam |
| 第 9 週 | Activities: Introduction to FOL Reading: For all x, pp. 184-193 |
| 第 10 週 | Activities: Quantifiers Reading: For all x, pp. 194-220 |
| 第 11 週 | Activities: Identity, Definite descriptions Homework 3 assigned Reading: For all x, pp. 221-235 |
| 第 12 週 | Activities: Sentences, Interpretations Homework 3 due Reading: For all x, pp. 236-249 |
| 第 13 週 | Activities: Truth in FOL, Semantic concepts for FOL Homework 3 returned Homework 4 assigned Reading: For all x, pp. 250-261 |
| 第 14 週 | Activities: Using interpretations Homework 4 due Reading: For all x, pp. 262-273 |
| 第 15 週 | Activities: Natural deduction for FOL: Basic rules Homework 4 returned Reading: For all x, pp. 274-300 |
| 第 16 週 | Final exam |
| 第 17 週 | No Class |
| 第 18 週 | 3/19 take-home lesson (see above) |
教科書
教師未提供此項資料
Office Hours
- 地點
- 教師未提供此項資料
- 時間
- 教師未提供此項資料
- 聯絡方式
- 教師未提供此項資料