Induzione strutturale

[davidinho92]

A breve avrò un esame di logica matematica ma mi sono arenato sull'induzione strutturale, non riesco proprio a capirla quindi, dopo aver ricercato a lungo sul web, vorrei chiedere a voi:
conoscete una qualche fonte da cui studiare questo metodo spiegato nel modo più semplice possibile?
grazie

[hamming_burst]

L'uso dell'induzione strutturale è un po' indiscriminato secondo me nella matematica/logica/informatica. Ogni settore ha la sua forma o terminologia. Secondo me ti riferisci all'induzione sull'istanza delle regole (o "induzione sulla struttura delle derivazioni" o ancora "induzione sulle derivazioni").

per intenderci tipo questa?

[davidinho92]

sinceramente sul libro mi sembra diversa, testualmente dice cosi:
"L'induzione strutturale opera sostanzialmente associando ad oggetti che sono decomponibili in oggetti più semplici, un numero naturale che ne rappresenta la complessità, in modo che le componenti abbiano associato un numero più piccolo. La dimostrazione avverrà poi per induzione su questi indici di complessità."

Magari può servire a spiegare di cosa parlo...