MATH 2900 - Foundations of Mathematical Proof

Symbolic logic is utilized to develop the skill of theorem proving using: relations, functions, injections, surjections, images and inverse images, cardinality, introduction to algebraic structures. Prerequisite(s): Grade of “C” or better in MATH 2550. (3)