# Discrete and Foundational Mathematics, I

## Math 187, Fall 2017

*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.