Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

Skip to Main Content
Columbia Campus    
2019-2020 Undergraduate Studies Bulletin 
    
 
  Nov 24, 2024
 
HELP
2019-2020 Undergraduate Studies Bulletin
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



 Back to Top | Print-Friendly Page (opens a new window)
  Bulletin Home
   Academic Programs
   Programs A-Z
   Programs by College/School
   Colleges/Schools
   Departments/Program Areas
   Course Descriptions
   Palmetto College
   Carolina Core Courses
   Policies and Regulations
   Bulletin Archives
   Major Maps Repository
   
All bulletins © 2024 Columbia Campus.
Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).

Mobile Site.