Discrete and Foundational Mathematics, I
Math 187, Spring 2018
Catalog description: An introduction to the language and methods of reasoning used throughout mathematics. Topics include propositional and predicate logic, elementary set theory, proof techniques including mathematical induction, functions and relations, combinatorial enumeration, permutations and symmetry. COREQ: MATH 171.