Discrete Mathematics Laboratory 1