數理邏輯
Mathematical Logic
學期
107-1
學分
3
學分
當期課號
1168
永久課號
DCP1154
開課單位
資訊工程學系
授課教師
林甫俊
校區
光復
類別
選修
上課時間表
| 節 | 週二 | 週四 |
|---|---|---|
3 10:10–11:00 | 數理邏輯 ED302 2 節連堂 | |
4 11:10–12:00 | ||
7 15:30–16:20 | 數理邏輯 ED302 |
* 根據陽明交大上課時間表所列
概述
建立學生邏輯推導之基本能力
先修科目
離散數學
教學方式
設有助教及使用 eCampus 來幫助教學
評分方式
3次期中考、1次期末考各佔25% 共100%
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | Introduction |
| 第 2 週 | Sentential Logic (1) |
| 第 3 週 | Sentential Logic (2) |
| 第 4 週 | Sentential Logic (3) |
| 第 5 週 | Midterm 1 - First-Order Logic (1) |
| 第 6 週 | First-Order Logic (1)(2) |
| 第 7 週 | First-Order Logic (2) |
| 第 8 週 | First-Order Logic (3) |
| 第 9 週 | First-Order Logic (3) - Midterm 2 |
| 第 10 週 | First-Order Logic (4) |
| 第 11 週 | First-Order Logic (5) |
| 第 12 週 | First-Order Logic (6) |
| 第 13 週 | First-Order Logic (6) - Midterm 3 |
| 第 14 週 | Temporal Topic (1) |
| 第 15 週 | Temporal Topic (2) |
| 第 16 週 | Temporal Topic (3) |
| 第 17 週 | Temporal Topic (4) - Final |
| 第 18 週 | No Class |
教科書
Herbert B. Enderton, "A Mathematical Introduction to Logic", Second Edition, Acadmic Press, 2001. Michael Fisher, "An Introduction to Practical Formal Methods Using Temporal Logic", John Wiley & Sons, Ltd., 2011, ISBN: 978-0-470-02788-2.
Office Hours
- 地點
- 工三館 125c 室
- 時間
- 每星期二下午 1:20-3:20PM
- 聯絡方式
- fuchun_lin@cs.nctu.edu.tw (03)513-1595