MAT 3220 Symbolic Logic
(also PHI 3220; formerly MAT/PHI 322; MAT/PHI 228)
Historical background of mathematical logic; mathematics and argumentation; logic and language, arguments with compound statements, deduction, propositional functions and quantifiers, deductive systems, propositional calculus, paradoxes and philosophical implications of mathematical logic. This course builds skills useful for understanding computer language and programming.
Prerequisite
Three years of high school mathematics, including Algebra I, Geometry and Algebra 2; passing of the Algebra I Regents Examination; or equivalent
Distribution
Mathematics/Computer Studies