Recurrence relations define sequences by referencing previous terms. They arise in algorithms (divide-and-conquer), combinatorics, and discrete math. Common solution tools include iteration, characteristic equations, generating functions, and the Master Theorem.