discrete math lecture session 272707