Announcements | Course information | Important dates | Assignments and tests | Lecture notes |
20/08/2007 The time for the course is to be decided at the first
meeting. I will email everybody registered in the class to set up the
time for the first meeting.
Lectures: TBA
Instructor: Antonina
Kolokolova , email: kol@cs, office ER-6011.
Textbook: M. Sipser:
Introduction to the Theory of Computation (second edition).
We will
also use lecture notes from similar courses (to be posted later).
Marking scheme (tentative!): Several assignments (3-5), maybe
a midterm or a presentation, and a final exam. To be decided after the
start of the class.