Oft kann man Probleme mathematisch rekursiv definieren. Diese können mit Simulationen gelöst werden. Es gibt aber einige Rekursionen, welche glücklicherweise in der Informatik oft vorkommen, die eine explizite mathematische Lösung (Formel) besitzen. Das Studium dieser Fälle steht in diesem Abschnitt im Zentrum.