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

Permission is required for interchange registration during the add/drop period only.