ma3030-discrete-math.pdf