# Discrete and Foundational Mathematics I

## Math 187, Spring 2012

*Catalog description*: An introduction to the language and methods of reasoning used throughout mathematics and computer science, and to selected topics in discrete mathematics. Propositional and predicate logic; elementary set theory; introduction to proof techniques including mathematical induction; functions and relations; and basic principles of elementary number theory, combinatorial enumeration, and graph theory. PREREQ: M 143, M 147 or satisfactory placement score.