MATH 6810

Last Updated

  • Schedule of Classes - July 2, 2025 11:52AM EDT
  • Course Catalog - March 17, 2025 8:31AM EDT

MATH 6810
Logic

Course information provided by the 2024-2025 Catalog. Courses of Study 2024-2025 is scheduled to publish mid-June.

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.


Prerequisites/Corequisites Prerequisite: an algebra course covering rings and fields (e.g., MATH 4310 or MATH 4330) or permission of instructor.

Last 4 Terms Offered 2025SP, 2023SP, 2021SP, 2018FA

When Offered Spring.

Comments Offered alternate years.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 17743 MATH 6810   LEC 001

  •  
    • TR
    • Jan 21 - May 6, 2025

    • Poor, M

  • Instruction Mode: In Person