MATH 6810

Last Updated

  • Schedule of Classes - April 4, 2023 12:09PM EDT
  • Course Catalog - April 3, 2023 12:59PM EDT

MATH 6810
Logic

Course information provided by the Courses of Study 2022-2023.

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.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 16920 MATH 6810   LEC 001

  •  
    • TR Malott Hall 206
    • Jan 23 - May 9, 2023

    • Nerode, A

  • Instruction Mode: In Person