CIS 3150
Theory of Computation
This course explores the theory of computation including automata theory, Turing machines and their variants, formal languages, parsing, the Halting problem, undecidability, and NP-completeness.
Sources
- Course catalogue ↗2026-2027