CS 520 - Theory of Computation

3 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