notes from lecture discrete structures 9035704