CS 70 Discrete Mathematics and Probability Theory