• 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: Megan Monroe
Office: Halligan Hall Extension, Room 06
Office Hours: Wednesday, 2:00-4:00pm

Class Location: Aidekman Arts Center, Cohen Auditorium
Time: (Tues/Thurs) 9:00 - 10:15am

Email Address for Questions:

Teaching Assistants (office hours click here):
Monsurat Olaosebikan
MP Monks
Maddy Duke
Steven Song
Min Feng
Sammy Saltzman
Ben Machlin
Yash Sathe
Evgeni Dobranov
Conor Gourley
Derek Egolf
Jingqi Yang
Meet Patel
Donna Chen
Andrew Farm
Şan Akdag