Introduction to the mathematical concepts fundamental to computer science. Topics include an introduction to predicate and propositional calculus; sets and set operations; functions and mappings; big-O notation and the growth of functions; algorithms, integers, and matrices; mathematical induction and recursive definitions; combinations, permutations, and binomial coefficients; discrete probability, expected value and variance. Students will also learn formal methods for writing mathematical proofs. Applications to computer science will be illustrated. Note: (1) Duplicate Course: No credit for students who have completed Mathematics 2196 (W141). (2) Students planning to take advanced courses in mathematics should take Mathematics 2196 (W141). (3) For Computer Science Majors.