校際選修

115-1 選課時程

進行中

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

正規語言與計算理論

Formal Languages and Theory of Computation

學期
111-1
學分
3 學分
當期課號
535521
永久課號
CSIC30068
開課單位
資訊科學與工程研究所
授課教師
曾文貴
校區
光復
類別
選修
上課時間表
週一
週四
3
10:10–11:00
正規語言與計算理論
EC122
2 節連堂
4
11:10–12:00
7
15:30–16:20
正規語言與計算理論
EC122

* 根據陽明交大上課時間表所列

概述

透過數學模型來瞭解計算機的能力,進而瞭解計算問題的本質與分類。

先修科目

程式設計,演算法

教學方式

實體上課講授,不提供遠端上課。

評分方式

(1) Homeworks: 25% (2) Two Midterms: 50% (3) Final: 25% ps. 暫定

教科書

Michael Sipser, Introduction to the Theory of Computation, 3rd Ed., 2013, Cengage Learning

Office Hours
地點
EC238
時間
Tu: 10:00-11:00am Th: 1:30-2:30pm
聯絡方式
wgtzeng@cs.nycu.edu.tw