discrete structures lecture notes 5265116