Class Roster

Course information provided by the Courses of Study 2015-2016.

Introduction to the modern theory of computing: automata theory, formal languages, and effective computability.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: CS 2800 or permission of instructor.

Syllabi: none

Class Number & Section Details

16863 CS 4810 LEC 001
Meeting Pattern
- MWF 11:15am - 12:05pm Phillips Hall 203
- Instructors
  
  Kozen, D
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials required, for this section. Additional information may be found on the syllabus provided by your professor.

For the most current information about textbooks, including the timing and options for purchase, see the Cornell Store.

Section Menu