Introduction to Mathematical Logic   [Archived Catalog]
2016-2017 Graduate Studies Bulletin (Archived Copy)
   
Print-Friendly Page (opens a new window)

MATH 561 - Introduction to Mathematical Logic

Credits: 3

Syntax and semantics of formal languages; sentential logic, proofs in first order logic; Godel's completeness theorem; compactness theorem and applications; cardinals and ordinals; the Lowenheim-Skolem-Tarski theorem; Beth's definability theorem; effectively computable functions; Godel's incompleteness theorem; undecidable theories.

Prerequisites: C or better in MATH 300 or consent of the Undergraduate Director



Print-Friendly Page (opens a new window)
Close Window
   
All bulletins © 2024 Columbia Campus.
Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).

Mobile Site.