Informatica CdL in Matematica A.A. 2016/2017 Parte 3b Roberto Zunino
Un esercizio svolto sull'induzione: due definizioni bizzarre dei numeri pari
Esempio
Esempio
Evitate di dire “ma è ovvio”
Dimostrazione
Dimostrazione alternativa
Un altro esercizio
Svolgimento
Svolgimento
Esempio: La “relazione” fattoriale
Esempio: Relazione Fattoriale
Esistenza del Risultato
Esistenza del Risultato
Esistenza del Risultato
Esistenza del Risultato
Unicità del Risultato
Unicità del Risultato
Unicità del Risultato
Unicità del Risultato
Unicità del Risultato
Sull’inversione
Inversione non unica
Conclusioni
Conclusioni
Altri esempi
Esercizio
Esercizio
Esercizio
Esercizio
Esercizio