• HW7 due date has been extended to 9am Thurs Nov 30
  • Sections WILL NOT MEET Thanksgiving Week: no sections Nov 21 and Nov 22.
  • You are expected to check the course webpage frequently. Any changes to assignments, errata, office hours, deadlines, snow days, etc. will be posted here!

Course Information

This course is intended as an introduction to the theory of computation for senior level undergraduates and graduate students looking for background material in theory. The major topics within the course include: models of computation, finite automata, regular languages, context free grammars, turing machines, undecidability, infeasibility, diagonalizations, nondeterminism, information theory, time vs space, and complexity classes.

Prerequisites: MATH/COMP 61 and COMP 15 are recommended, but any prior course with rigorous mathematical proofs should suffice

Textbook: Introduction to the Theory of Computation by Michael Sipser
ISBN: 9781133187790 (3rd Edition) or 9780534950972 (2nd Edition)
List of errata: Errata for 3rd Edition and Errata for 2nd Edition

Instructor: Lenore Cowen
Office: Room 107A Halligan Hall
Office Hours: Thursdays at 1:30pm, or email for appointment

Class Location: Robinson Hall, Room 253
Time: (Tues/Thurs) 12:00pm - 1:15pm

Email Address for Questions:

Teaching Assistants (office hours click here):
Adam Plumer
Ben Machlin
Dana Sussman
Daniel Jin
Elias Marcopoulos
Elif Ölmez
Phoebe Yu Yang