Introduction to Theory of Computation (COMP 3803)
Winter 2019

Instructor: Michiel Smid
Office: Herzberg Building 5125C
E-mail: michiel(@scs.carleton.ca)
Lectures: Tuesday and Thursday, 11:35-12:55, Tory Building 342
Office hours: Wednesday 9-11
Teaching assistants:
Course objectives: Theoretical aspects of computer science.
Topics covered include: Formal languages and automata theory (regular languages, finite automata, context-free languages, pushdown automata), computability theory (Turing machines, Church-Turing Thesis, decidability, Halting Problem).
Textbook:
Important dates:
Grading scheme:
Assignments:
Midterm:
Final exam:
What was done in class:
Tentative schedule: