Computer Science 601 - Computation Theory
Fall
2025
01
3.00
Hung Le
M W 4:00PM 5:15PM
UMass Amherst
69639
Lederle Grad Res Center A104A
hungle@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 graduate Computer Science students only. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/academics/course-overrides