discrete structures class notes 50212