Title: Problem Solving and Reasoning with Discrete Mathematics