Description
An introduction to mathematical logic, reasoning and various proof techniques. Topics include set theory, number systems, relations, functions and writing formal proofs involving these concepts. Prerequisite: A grade of “C” or better in MAT 251 or Director of Mathematics approval.