University of Vermont

UVM Course Directory

Term: All Terms

Subject: Computer Science

Course Number: 243

CS 243 - QR: Theory of Computation

Reducibility and decidability, recursion theory, time and space complexity, P, NP, NP-completeness, PSPACE, PSPACE-completeness, L and NL, advanced topics in computability and complexity. Prerequisites: CS 124 and CS 125.