notes from lecture discrete structures 7294396