Computer Science 601 - Computation Theory

Spring
2021
01
3.00
Neil Immerman
TU TH 2:30PM 3:45PM
UMass Amherst
84103
Fully Remote Class
immerman@cs.umass.edu
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.
Permission is required for interchange registration during the add/drop period only.