Topics in Logic

3 credits · Undergraduate

This course covers topics of current interest in logic. Suitable topics include: formal logic, soundness and completeness, Gödel's incompleteness theorems; model theory, compactness; set theory, non-standard models; categorical logic; proof theory; type theory, proof assistants. CALENDAR NOTES: Please consult the instructor for the topics offered in a particular year. This course is suitable for advanced undergraduates and graduate students from both mathematics and computer science. PREREQUISITES: MATH 3032.03, or MATH 3502.03, or MATH 3031.03 and MATH 3501.03, or CSCI 3110.03 and CSCI 3136.03, or permission of the instructor. CROSSLISTED: MATH 5681.03 FORMATS: Lecture