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!):

• Videotape Shipping Schedule
• Lecture Notes Directory (with Lecture 27)
• Homework Assignment Directory (with HW#2 and solutions)
• Exam Directory (empty so far)
• Questions and Answers (none yet)
• Syllabus (from Spring 2004)

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 come.

• (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