CS 420 - Theory of Computation

3 Credits

Description
A sampling of the different areas of theoretical computer science: finite state concepts, formal grammars and automata, computability, Turing machines, and program verification.

Prerequisites
A grade of C or better in both CS 202 and CS 303, or consent of instructor.

Note
Open to graduate students. Graduate students are required to do additional work of a research nature.

View available class schedules