Prerequisites: MATH 009A (or MATH 09HA); CS 010 or MATH 009B (or MATH 09HB)
Description: Introduction to basic concepts of discrete mathematics emphasizing applications to computer science. Topics include prepositional and predicate calculi, elementary set theory, functions, relations, proof techniques, elements of number theory, enumeration, and discrete probability.
Cross-listing: Cross-listed with MATH 011.