CS 4810

CS 4810

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)

View Enrollment Information

  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 18669 CS 4810   LEC 001

    • TR To Be Assigned
    • Jan 24 - May 10, 2022
    • Kozen, D

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