Definições indutivas §

---

A definição indutiva é fundamental para descrever uma determinado tipo de função recursiva.

Ela consiste em dois elementos:

1. Base de indução: identificar de todos os casos elementares
2. Passo indutivo: determinar os demais casos a partir dos termos anteriores (casos elementares)

Por exemplo, para definir indutivamente o fatorial de um número natural, temos:

1. Base de indução:
2. Passo indutivo: ,

Referências §

---