|
|
|
May 06, 2026
|
|
DRAFT 2026-2027 Academic Bulletin
|
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.
Distribution Requirements: SP.
|
|
|