CMPSCI 601: Theory of Computation

David Mix Barrington

Fall, 2004

To see the Spring 2004 CMPSCI 601 home page look here.

This is the home page for the Fall 2004, video-only offering of 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.

Students registered for this course through the UMass Amherst PEEAS program will be mailed videotapes of the Spring 2004 lectures, according to this scehdule. (Earlier plans to produce the lectures on CD-ROM have changed.) Notes for these lectures are available through the link below.

The course will have five homework assignments and two exams, still to be scheduled. These will be completely different from the Spring 2004 assignments.

Important Course Material (under construction!):

Announcements (4 Nov 2004):

Last modified 4 Nov 2004