CSCI 313 - Theory of Computation

Credits: 3 Prerequisites: MATH 121 or MATH 201 or instructor consent. A study of the principles of computer science embodied in formal languages, automata, computability, and computational complexity. Topics include context-free grammars, Turing machines, and the halting problem. Levy.