CS 381 Introduction to Theory of Computing
CS 381 You can obtain a copy from the campus bookstore or from Springer customer service (1-800-SPRINGER, or check out their web page).
The lecture notes will not be posted on the web.
The final exam will be Wednesday, July 3 in class. It will be cumulative, but will have an emphasis on the material since the last prelim. It will cover lectures 1-9, 11-16, and 19-35 of Kozen's book. You may use one page (8.5" by 11") of notes, both sides. Here are some practice problems and a final exam from previous semesters.
Prelim 2 will be Thursday, June 20 in class and will cover lectures 13-16, 19-25 of Kozen's book. From previous semesters, here is a practice prelim, an actual prelim with solutions, and a page with links to more problems and solutions (see especially the Practice Set 2 for the November quiz).
Prelim 1 will be Friday, June 7 in class. It will cover lecture 1-9, 11, 12 of Kozen's book. Here is a sample exam and solutions from a previous semester. Also, from Fall 2000 there is a list of suggested problems with solutions. Some of these solutions use homomorphisms but alternate solutions can be found without homomorphisms.
Click here for all recorded grades and statistics in the course
so far, indexed by the last 3 digits of the course ID you selected for yourself in class.
