introduction to discrete structures 125