Computer Science 601 - Computation Theory

An in-depth introduction to the main models and concepts of the mathematical theory of computation, including computability, complexity, and logic. Prerequisites: an undergraduate course in automata theory and formal languages such as COMPSCI 501 or permission of instructor.

Open to Computer Science graduate students only. PREREQUISITES: AN UNDERGRADUATE COURSE IN AUTOMATA THEORY AND FORMAL LANGUAGES SUCH AS COMPSCI 501 OR PERMISSION OF INSTRUCTOR. INSTRUCTOR PERMISSION REQUIRED FOR UNDERGRADUATE CS MAJORS CLEARED BY THE UPD, IF AVAILABLE SEATS. SEATS HELD FOR INCOMING GRAD STUDENT REGISTRATION. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.