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.