計算理論概論
Introduction to Theory of Computation
| 節 | 週三 |
|---|---|
5 13:20–14:10 | 計算理論概論 MB311 3 節連堂 |
6 14:20–15:10 | |
7 15:30–16:20 |
* 根據陽明交大上課時間表所列
This course is intended as an upper-level undergraduate or graduate introduction to theory of computation. In studying this subject we seek to determine what can and cannot be computed, how quickly, with how much memory, and on which type of computational model. It can be divided into roughly four parts: automata and languages, computability theory, complexity theory, and learning theory.
(optional) Algorithms or Discrete Mathematics
1. Homework and Assignments: 4 homework assignments 2. Evaluation and Grading Policy: Homework: exercises (60%) Presentations: assigned class materials (40%)
- Regular Languages
- Context-Free Grammars
- Turing Machines
- Decidability
- Reducibility
- Time Complexity
- Final presentation
- Introduction and Preliminaries
| 週次 | 主題 |
|---|---|
| 第 1 週 | Introduction and Preliminaries |
| 第 2 週 | Introduction and Preliminaries |
| 第 3 週 | Regular Languages 1 |
| 第 4 週 | Regular Languages 1 |
| 第 5 週 | Regular Languages 2 |
| 第 6 週 | Context-Free Grammars |
| 第 7 週 | Context-Free Grammars |
| 第 8 週 | Turing Machines |
| 第 9 週 | Turing Machines |
| 第 10 週 | Decidability |
| 第 11 週 | Decidability |
| 第 12 週 | Reducibility |
| 第 13 週 | Reducibility |
| 第 14 週 | Time Complexity |
| 第 15 週 | Learning Theory |
| 第 16 週 | Final presentation |
Introduction to the Theory of Computation 3rd edition, Michael Sipser. 2012 References: Computational Complexity: A Modern Approach, S. Arora and B. Barak. 2009 Understanding Machine Learning: From Theory to Algorithms, Shai Shalev-Shwartz and Shai Ben-David. 2014
- 地點
- TBD
- 時間
- By appointment
- 聯絡方式
- poanch@gmail.com