A study of the formal theories underlying computer science. Topics include Turing machines, automata theory, recursive functions, computability, and formal languages. Prerequisites: Consent of professor or MATH 250 or CS 220 . Fall, even years. (Group II)