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 203 or CS 303 and CS 202 or CS 302, or consent of instructor.
Note Open to graduate students. Graduate students are required to do additional work of a research nature.