User Tools

Site Tools


courses:theory2014:main

This is an old revision of the document!


Theory of Computing, Spring 2014

The goal of this course is to acquaint the students with the basic concepts in computation theory and to cultivate the students' ability in analyzing the complexity of computational problems.

Announcements

  • 04/09: slides from TA sessions: HW#1-2, HW#3-4.
  • 04/08: old exams: 2000-2013.
  • 04/08: HW#6 due on 04/23.
  • 04/08: HW#5 due on 04/16.
  • 03/31: HW#4 due on 04/09.
  • 03/25: notes/slides for Context-Free Languages and Pushdown Automata available.
  • 03/20: HW#3 due on 03/26.
  • 03/10: due date of HW#2 postponed till 3/14.
  • 03/05: notes/slides for Finite Automata and Regular Languages available.
  • 03/03: HW#2 due on 03/12.
  • 02/26: HW#1 due on 03/05.
  • 02/26: notes/slides for Introduction and Mathematical Preliminaries available.
  • 02/08: this website created.

Instructors

Tyng-Ruey Chuang (莊庭瑞), Academia Sinica IIS and NTU IM Dept., Xtrc@iis.sinica.edu.twX (between the enclosing pair of X's).
Shin-Cheng Mu (穆信成), Academia Sinica IIS and NTU IM Dept., Xscm@iis.sinica.edu.twX (between the enclosing pair of X's).
Yih-Kuen Tsay (蔡益坤), NTU IM Dept., 3366-1189, Xtsay@ntu.edu.twX (between the enclosing pair of X's).

Lectures

Wednesday 2:20~5:20PM, Room 206, Management Building 2.
TA sessions will be scheduled prior to some of the class meetings between 1:20 and 2:10PM; see the course schedule.

Office Hours

Tuesday 1:30~2:00PM, Wednesday 1:30~2:00PM, or by appointment, Room 1108, Management II.

TA

Hung-Wei Hsu (許宏瑋), 3366-1205, Xr02725048@ntu.edu.twX (between the enclosing pair of X's).

Textbook

This is an introductory course to the theory of computation. It covers various mathematical models, including automata and Turing machines, for physical computing machineries along with their computational capabilities/limitations. In terms of specific topics and the order of their exposition, the course will follow closely the book by Sipser.
(Note: a TA session will precede a class meeting whose date is marked with an *. There are four TA sessions on 3/19, 4/09, 5/21, and 6/4, making up one probable skipped class meeting.)

  • Introduction and Mathematical Preliminaries (2 weeks: 2/19, 2/26) [notes, slides]
  • Finite Automata and Regular Languages (3 weeks: 3/5, 3/12, 3/19*) [notes, slides]
  • Context-Free Languages and Pushdown Automata (2 weeks: 3/26, 4/9*) [notes,slides]
  • Midterm (2014/04/16)
  • Turing Machines (1.5 weeks: 4/23, 4/30a) [notes, slides]
  • Decidability and Undecidability (2 weeks: 4/30b, 5/7, 5/14a) [notes, slides]
  • Reducibility (1.5 weeks: 5/14b, 5/21*) [notes, slides]
  • Time Complexity and NP-Completeness (2 weeks: 5/28, 6/4*) [notes, slides]
  • Reviews (if necessary, 1 week: 6/11)
  • Final (2014/06/18)

References

Grading

Homework 20%, Participation 10%, Midterm 35%, Final 35%.

courses/theory2014/main.1397057739.txt.gz · Last modified: 2014/04/09 23:35 by tsay