# Discrete and Foundational Mathematics, I

## Math 187, Spring 2016

*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. PREREQ: MATH 143 or MATH 147 or satisfactory placement score.