MAT 3220 Symbolic Logic
(also PHI 3220)
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.
Distribution
Mathematics/Computer Studies