Date: Wed, 20 Nov 1996 22:24:53 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Mon, 11 Nov 1996 15:20:21 GMT Content-length: 6694 CS121: Introduction to Formal Systems and Computation

CS121: Introduction to Formal Systems and Computation

Computer Science 121 is an undergraduate course introducing automata, formal languages, computability, uncomputability, computational complexity, and NP-completeness. The theme of the course is reasoning about formal systems. This page provides access to on-line course materials.

Table of Contents


General Information:

Announcements:

Problem Sets:

Problem set policies can be found here.

Errata in text:

Please send any errors that you find in the text, and any proposed fixes to the errors to cs121@deas.harvard.edu.

The official fixes for the text are archived here.

cs121@deas.harvard.edu