COM S 682: Theory of Computing

Cross-Listing: Not cross-listed.

Advanced treatment of theory of computation, computational-complexity theory, and other topics in computing theory.

Offered: Spring only

Prerequisites: (COM S 381 or 481) and (COMS S 482 or 681) or permission of instructor. (COM S 381 or 481) and (COMS S 482 or 681) or permission of instructor.

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs682/2006sp
  • Dexter Kozen
• http://www.cs.cornell.edu/courses/cs682/2004sp
  • Dexter Kozen
• http://www.cs.cornell.edu/courses/cs682/2002sp
  • Dexter Kozen