Theory of computability: notion of algorithm, Turing machines, primitive recursive functions, recursive functions, Kleene normal form, recursion theorem. Propositional logic.
prereq: 2283 or 3283 or Phil 5201 or CSci course in theory of algorithms or instr consent