Discrete Mathematics Workthrough