CAS CS 332
Elements of the Theory of Computation
Undergraduate Prerequisites: (CASCS330) - The basic concepts of the theory of computation are studied. Topics include models of computation, polynomial time, Church's thesis; universal algorithms, undecidability and intractability; time and space complexity, nondeterminism, probabilistic computation and reductions of computational problems.
Topics
- models of computation
- polynomial time
- Church's thesis
- universal algorithms
- undecidability and intractability
- time and space complexity
- nondeterminism
- probabilistic computation and reductions of computational problems
Topics explicitly listed in official catalogue description
Sources
- Course catalogue ↗2026-2027