MATH 6810
Last Updated
- Schedule of Classes - September 9, 2021 7:14PM EDT
- Course Catalog - September 9, 2021 7:15PM EDT
Classes
MATH 6810
Course Description
Course information provided by the Courses of Study 2020-2021.
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.
Syllabi:
none
Regular Academic Session.
-
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
-
Class Number & Section Details
-
Meeting Pattern
- TR Online Meeting
- Feb 8 - May 14, 2021
Instructors
Nerode, A
-
Additional Information
Instruction Mode: Online