Class Roster

Course information provided by the Courses of Study 2021-2022.

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

When Offered Spring.

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

Distribution Category (SMR-AS)

Syllabi:

Class Number & Section Details

18669 CS 4810 LEC 001
Meeting Pattern
- TR 9:40am - 10:55am Olin Hall 255
- Jan 24 - May 10, 2022
- 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.
Additional Information

Instruction Mode: In Person
Enrollment is restricted to CIS students only. All others must add themselves to the waitlist during add/drop in January.

Section Menu