Computation Theory

Semester: 
Spring
Year: 
2019
Subject Name: 
Computer Science
Course Number: 
601
Institution: 
UMass Amherst
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.
Comments: 
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.
Instructor Permission: 
Permission is required for interchange registration during the add/drop period only.
Schedule #: 
20924

Course Sections

Computation Theory
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 3.0 Neil Immerman immerman@cs.umass.edu TU TH 2:30PM 3:45PM Lederle Grad Res Ctr rm A301