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.
Prerequisites
Crosslisted
Semester Offered
Fall/Spring