This course studies computational theory in the context of theoretical computer science and mathematics. Topics include finite automata and languages; computability and Turing machines; decidability and incompleteness theorems. (Fall/Spring)
Prerequisites
Semester Offered
Fall/Spring