MATHEMATIC 5051
Introduction to Mathematical Logic
Ohio State University Agricultural Technical Institute · UGRD · Fall 2026
1 section
Catalog description
Syntax and semantics of sentential logic, syntax and semantics of first-order logic, compactness of first-order logic, Goedel's completeness theorem, theories and models of theories, Goedel's incompleteness theorems; computability. Prereq: 4547 (547), 4580 (580), Grad standing, or permission of department. Not open to students with credit for 648 or 649.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #ohio_agricultural_technical-MATHEMATIC5051Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?