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 CMPSCI 501 or permission of instructor.

Open to COMPSCI graduate students only. PREREQUISITES: AN UNDERGRADUATE COURSE IN AUTOMATA THEORY AND FORMAL LANGUAGES SUCH AS COMPSCI 501 OR PERMISSION OF INSTRUCTOR. UNDERGRADUATES WITH PERMISSION OF INSTRUCTOR. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/overrides.