CMPSCI 601: Theory of Computation
David Mix Barrington
To see the Spring 2004 CMPSCI 601 home page look
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
Important Course Material (under
Announcements (4 Nov 2004):
- (4 Nov) The midterm will cover Lectures 1-15 except that it
will be very light on the logic portions. The midterms in the various other
versions of the course I have taught should be good practice exams. I will
try to get the midterm to the PEEAS office tomorrow. You should arrange to
take it about 10 November, proctored as per PEEAS's instructions, and fax it
to me at 413-545-1249. (One of you has already arranged an alternate date.)
I will post HW#3 early next week and it will be due on 22 November.
- (4 Nov) I've posted solutions to the first two HW's. I have
also graded these and will send individual email with results.
- (13 Oct) A student found a typo on the HW#1 assignment, which
has now been corrected.
- (6 Oct) Sorry for the delay with HW#1! I have now
posted it and it will be due in two weeks.
I am thinking that around 10 November will be good for the midterm,
with HW#2 due well before that.
- (23 Sept) I am now told that the lectures will be distributed on
videotape, on a schedule which I have not yet been provided. Details to
- (14 Sept) The CD's for the lectures were supposed to have been
mailed yesterday. Please email me
when you get yours.
Last modified 4 Nov 2004