Course:
Textbook:
Michael Sipser. Introduction to the theory of Computation, 2nd ed.
Reference Books:
Prerequisite:
CMPE220 , CmpE 350
Topics (subject to change):
1. The Church-Turing Thesis
2. Decidability
3. Reducibility
4. Advanced Topics in Computability Theory
5. Complexity Theory
Exams:
- Midterm 1: November 10
- Midterm 2: December 15
- Final exam