CSI 320: Theory of Computation
A study of the basic theoretical principles of Computer Science. Topics include finite automata, pushdown automata, regular expressions, Turing machines, the halting problem, unsolvability, and computational complexity. Prerequisite: CSI 220 and MTH 215. Offered in alternate years.