CMPSCI 601: Theory of Computation

Offered through the PEEAS distance learning program

David Mix Barrington

Summer, 2003

This is the home page for the summer 2003 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.

This course is being offered only through distance learning by the UMass PEEAS program. Please contact them for any information concerning registration.

Students in the course have been mailed videotapes of the lectures I gave in the Spring 2003 offering of this course. Extensive notes for these lectures are available on the Spring 2003 website.

There were six homework assignments, a midterm exam, and a final exam which determined the grade. See the directory pages linked above for scheduling. I hope the Spring 2003 questions and solutions were useful as a study guide.

Announcements (25 August 2003):

Textbooks: First see the textbook notes on the spring 2003 page. It turned out that while the notation of the lecture notes is that of [P], we didn't use [P] all that much and you may or may not want it as a required text. If I assign any homework problems out of [P] I will give their text in full on the web site.

The Sipser book may or may not be useful to you -- it is a very readable treatment of some of the course material.

We will use the LPL book as we did in Spring 2003.

I am told that the Jeffrey Amherst Bookstore no longer stocks [P], but one student reports that he was just able to buy both [P] and Sipser for $65 on-line.

I welcome email questions on the lectures, the homeworks, or any other topics. I will post interesting questions and their answers on this page, without identifying the questioner. You may be interested as well in the questions and answers from Spring 2003.

Last modified 25 August 2003