Discrete mathematical structures and their application to computer science including formal mathematical notation and proofs, algorithms, computer related arithmetic, propositional logic, predicate logic, set theory, graphics, relations and databases, functions, matrices and combinatorics. Prereq: Placement in MATH 160 or higher.