CS 5814

CS 5814

Course information provided by the Courses of Study 2024-2025.

Explores the power and limitations of efficient computation. Understanding how the notion of efficient computation changes with respect to resources such as time, space, randomness, advice, and interaction. Concrete computational models that we will study will include Turing machines, Boolean circuits, Decision trees, and Branching Programs. Advanced topics may include error-correcting codes, probabilistic checkable proofs, and circuit lower bounds.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: CS 4820. 

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 4814

  • 3 Credits Graded

  • 19636 CS 5814   LEC 001

  • Instruction Mode: In Person
    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/