Hide Advanced Options
Courses - Fall 2024
MATH
Mathematics Department Site
Open Seats as of
05/18/2024 at 08:30 AM
MATH445
Elementary Mathematical Logic
Credits: 3
Grad Meth: Reg, P-F, Aud
Prerequisite: Minimum grade of C- in MATH141.
Elementary development of propositional and predicate logic, including semantics and deductive systems and with a discussion of completeness, incompleteness and the decision problem.