MATH351
Download as PDF
Symbolic Logic
Mathematics & Computer Science
College of Liberal Arts
Course Subject Code
MATH
Course Number
351
Status
Active
Course Attributes
BINT: GenEd-Breadth/Interdisciplinar, CEA: ProgCLA-CEA and Au Pair, ENMH: Minor-Mathematics Elective, NMAT: Minor-Mathematics
Course Short Title
Symbolic Logic
Course Long Title
-
Course Description
An introduction to the propositional and predicate calculus, notions of proof, model, consistency, and truth; the Deduction, Compactness, and First Incompleteness Theorems and philosophical ramifications.
Min
4
Repeatable
-
Course Restrictions
-
Equivalent Course(s)
-