3 credits An introduction to discrete mathematics for computer science graduate students. Students gain the skills needed to model problems abstractly, analyze solutions, and prove program correctness and efficiency. Typical topics include logic, induction, basic combinatorics, discrete probability, graph theory, and asymptotic growth of functions.