Topics in Logic and Computation

3 credits · Graduate

This course covers topics of current interest in logic and/or the foundations of computation. Suitable topics include: formal logic, soundness and completeness, Gödel's incompleteness theorem, formal set theory, the Zermelo-Fraenkel axioms, non-standard models, independence of axioms, lambda calculus and foundations of functional programming languages, proof theory, semantics. CROSSLISTED: MATH 4680.03