Learn about topics in discrete mathematics important in computer science, including: propositional logic, predicate logic using quantifiers, direct and indirect proofs, summation and product notation, mathematical induction, elementary set theory and counting. Gain experience writing mathematical proofs. NOTE: Credit cannot be counted for both CS 1303 and MATH 2203.