MATH 6810

Last Updated

  • Schedule of Classes - February 12, 2019 8:29PM EST
  • Course Catalog - January 26, 2019 2:00PM EST

MATH 6810
Logic

Course information provided by the 2018-2019 Catalog.

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 Fall (offered alternate years).

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 16223 MATH 6810   LEC 001

  •  

  • Instruction Mode: In Person