Funzioni ricorsive Flashcards
Funzione ricorsiva
Una funzione è detta ricorsiva se il valore della funzione per un certo argomento è espresso in termini del valore della stessa funzione applicata a uno o più argomenti.
Congettura
Una congettura è un enunciato matematico che sembra essere vero ma per il quale non si conosce una dimostrazione.
Problemi con la ricorsione
Alcune definizioni ricorsive non sono ben date.
Tutte le funzioni per induzione sono ricorsive
VERO
Una funzione del tipo f(x) = { exp1, exp2, exp3…} potrebbe non essere una funzione matematica.
Questo è perché potrebbe non essere totale: potrebbero esserci dei valori del dominio per cui la funzione non è definita.
è una funzione se…
Partendo da f(x) e applicando iterativamente le clausole della definizione, la valutazione termina con il risultato y.
La relazione di precedente indotta
è la relazione tale che f(y) è definita direttamente in termini di f(x)
Se esiste una catena discendente infinita
allora per valutare f(d1) non termina.
Relazione ben fondata
Una relazione [ è ben fondata se non esiste una catena discendente d1 ] d2 ] d3] ….
