Discrete and Foundational Mathematics I
Math 187, Fall 2011
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.