O documento discute definições recorrentes, sequências, conjuntos e operações definidos por recorrência. As principais ideias são:
1) Uma definição recorrente define um item em termos de si mesmo, como a definição de fatorial;
2) Sequências e conjuntos podem ser definidos por recorrência, onde o primeiro elemento é definido explicitamente e os demais são definidos em termos dos anteriores;
3) Existem estratégias como "expandir, conjecturar e verificar" e solução geral para resolver relações de recorrência e encontrar sol