校際選修

115-1 選課時程

進行中

  • 初選第一階段 6/15/2026
  • 初選第二階段 6/22/2026
  • 校際選修 8/24/2026
  • 初選第三階段 8/31/2026
  • 開學後加退選 9/7/2026
  • 逾期加退選 9/21/2026
選課資源

計算理論概論

Introduction to Theory of Computation

學期
111-2
學分
3 學分
當期課號
557606
永久課號
MGIM30034
開課單位
管理學院碩士在職專班-資管組
授課教師
陳柏安
校區
光復
類別
選修
上課時間表
週三
A
18:30–19:20
計算理論概論
MB311
3 節連堂
B
19:30–20:20
C
20:30–21: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 statistical 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%)

週次計畫
週次主題
第 1 週Introduction and Preliminaries
第 2 週Introduction and Preliminaries
第 3 週Regular Languages 1
第 4 週Regular Languages 2
第 5 週Context-Free Grammars
第 6 週Context-Free Grammars
第 7 週Turing Machines
第 8 週Holiday
第 9 週Turing Machines
第 10 週Decidability
第 11 週Decidability
第 12 週Reducibility
第 13 週Reducibility
第 14 週Time Complexity
第 15 週Time Complexity
第 16 週Learning Theory
第 17 週Final Presentation
第 18 週
教科書

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

Office Hours
地點
TBD
時間
By appointment
聯絡方式
poanch@gmail.com