正規語言與計算理論

Formal Languages and Theory of Computation

學期

112-1

學分

0 學分

當期課號

535502

永久課號

CSIC30068

開課單位

資訊科學與工程研究所

授課教師

曾文貴

校區

光復

類別

選修

上課時間表

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

概述

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

先修科目

程式設計,演算法

備註

無備註

教學方式

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

評分方式

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

課程大綱

教師未提供此項資料

週次計畫

週次	主題
第 1 週	Introduction Regular languages (1) 2023-09-11(一),2023-09-14(四)
第 2 週	Regular languages (2) 2023-09-18(一),2023-09-21(四)
第 3 週	Regular languages (3) 2023-09-25(一),2023-09-28(四)
第 4 週	Regular languages (4) 2023-10-02(一),2023-10-05(四)
第 5 週	Midterm I Context-free languages (1) 2023-10-09(一),2023-10-12(四)
第 6 週	Context-free languages (2) 2023-10-16(一),2023-10-19(四)
第 7 週	Context languages (3) 2023-10-23(一),2023-10-26(四)
第 8 週	Context languages (4) 2023-10-30(一),2023-11-02(四)
第 9 週	Midterm II Church-Turing thesis (1) 2023-11-06(一),2023-11-09(四)
第 10 週	Church-Turing thesis (2) 2023-11-13(一),2023-11-16(四)
第 11 週	Decidability (1) 2023-11-20(一),2023-11-23(四)
第 12 週	Decidability (2) 2023-11-27(一),2023-11-30(四)
第 13 週	Reducibility 2023-12-04(一),2023-12-07(四)
第 14 週	Complexity (1) 2023-12-11(一),2023-12-14(四)
第 15 週	Complexity (2) 2023-12-18(一),2023-12-21(四)
第 16 週	Complexity (3) Final 2023-12-25(一),2023-12-28(四)

教科書

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

Office Hours