A study of topics in discrete mathematics that are relevant to computer science and mathematics, including logic and proof, induction and recursion, elementary set theory, combinatorics, relations and functions, Boolean algebra, and introductory graph theory.