CMPSCI 601: Theory of Computation

David Mix Barrington

Spring, 2003

This is the home page for CMPSCI 601. CMPSCI 601 is the graduate core course in the theory of computation and will deal with formal languages, computability, logic, and complexity theory.

Important Course Material:

Announcements (28 August 2003):

In Spring 2002 this course was taught by Prof. Immerman, and I will be modeling this term's offering closely on his. The web site for his offering is still available here.

In particular, the two textbooks for the course are the same. These are:

Both texts are now available for sale at Jeffrey Amherst Bookshop in downtown Amherst. The B&E book ("LPL") will be used for roughly the middle third of the course, beginning with Lecture #10 on Mon 3 Mar.

Last modified 28 August 2003