O documento discute recursão, definindo-a como um princípio para construção de algoritmos onde a solução de um problema é dividida em casos simples e casos gerais, sendo que estes últimos são resolvidos compondo soluções dos casos mais simples. Funções recursivas implementam algoritmos recursivos, resolvendo casos gerais por meio de chamadas à própria função.