Philosophy
PHIL 116 Logic, Sets, and Functions
Introduction to basic set theory, recursive definitions, and mathematical induction. Provides a bridge between course 9 and courses 117 and 119. Strong emphasis on proving theorems and constructing proofs, both formal proofs and proofs in the customary, informal style used by mathematicians.