CS 70: Discrete Math and Probability Theory