This document discusses using recurrence relations to model problems involving counting techniques. It provides examples of modeling problems related to bacteria population growth, rabbit population growth, the Tower of Hanoi puzzle, and valid codeword enumeration. For each problem, it defines the recurrence relation and initial conditions, derives a closed-form solution, and proves its correctness using mathematical induction. Recurrence relations provide a way to define sequences and solve problems recursively by relating terms to previous terms in the sequence.