Propositional logic; sets, functions, relations; elementary combinatorics; techniques of mathematical proof, including induction; recurrence and recurrence relations. Emphasis on connections to computing.
Prerequisites: MA 150
Full course Misc. Notes: Credit will not be given for both MA 207 and MA 240