Video 4 del percorso: "I principi di induzione e ricorsione"
L’argomento di questa lezione è abbastanza sottile, sempre nell’ambito di induzione e ricorsione.
Si parla di induzione e ricorsione ben fondate.
La trattazione teorica viene introdotta come al solito tramite un esempio concreto, ovvero il problema della massima sottolista, la cui soluzione, come vedremo, passa per l'algoritmo di Kadane.
Gli esempi successivi coinvolgono le strutture matematiche dei grafi: molto semplici da comprendere (sono punti uniti da trattini), si rivelano utilissimi in svariati ambiti.
Ovviamente si cura anche la parte teorica, con le definizioni formali di induzione e ricorsione ben fondate.
Video su Matematica
Relatori