This course introduces the student to discrete mathematics as it is used in computer science. Topics include formal logic, proofs, sets, combinatorics, probability, functions, graph theory, Boolean Algebra, and Modeling with programming. Prerequisites: MATH V20 or both MATH V04 and MATH V05 or MATH V19; or placement as measured by the college assessment process. Recommended Prep: CS V11 or equivalent. Field trips may be required. Transfer credit: CSU; UC; credit limitations - see counselor. C-ID: COMP 152.