NEW! Room assignments are available in Class Roster behind netID login.
Enrollment: Review the Guide to Enrollment on the University Registrar website. Course offerings and course details are subject to change.
Checklist Reminder: to avoid enrollment delays, please complete your Term Checklist. Term Checklists can be found in Student Center under your To-Do List. Only students with in progress checklist requirements will see a Checklist item needing completion.
MATH 6810
Last Updated
- Schedule of Classes - April 4, 2025 7:26PM EDT
- Course Catalog - April 4, 2025 7:07PM EDT
Classes
MATH 6810
Course Description
Course information provided by the Courses of Study 2024-2025.
Covers basic topics in mathematical logic, including propositional and predicate calculus; formal number theory and recursive functions; completeness and incompleteness theorems, compactness and Skolem-Loewenheim theorems. Other topics as time permits.
When Offered Spring.
Prerequisites/Corequisites Prerequisite: an algebra course covering rings and fields (e.g., MATH 4310 or MATH 4330) or permission of instructor.
Comments Offered alternate years.