2016-2017 Academic Bulletin 
    
    Feb 27, 2021  
2016-2017 Academic Bulletin [ARCHIVED CATALOG]

MATH 315 - Introduction to Mathematical Logic


Credits: 4
An introduction to symbolic logic as a mathematical model of deductive thought. Topics covered include propositional logic, models, formal proofs, and the Completeness, Compactness, and Incompleteness Theorems. Additional topics from Computability theory or set theory may be included.

Prerequisite: MATH 205  with a grade of C or better, or permission of instructor.

Distribution Requirements: SP.