CS 520 - Theory of Computation3 Credits A sampling of the different areas of theoretical computer science: finite state concepts, formal grammars and automata, computability, Turing machines, and program verification.
Prerequisites C or better in CS 202 and CS 303, or A- or better in CS 500
When Offered Every Fall
Click here for the Fall 2025 Class Schedule
Click here for the Spring 2026 Class Schedule
Click here for the Summer 2026 Class Schedule
Add to Portfolio (opens a new window)
|