CS 225 Discrete math @ OSU