Computer Science 601 - Computation Theory

Spring
2015
01
3.00
Neil Immerman
TU TH 2:30PM 3:45PM
UMass Amherst
17876
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 CMPSCI graduate students only. UNDERGRADUATES WITH PERMISSION OF INSTRUCTOR. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/overrides.
Permission is required for interchange registration during the add/drop period only.