Algoritmi e strutture dati

Obiettivo del corso è fornire gli strumenti necessari per la sintesi e l'analisi di algoritmi e strutture dati anche complessi. Le capacità di sintesi verranno sviluppate attraverso lo studio di una ampia varietà di strutture dati e di algoritmi che risolvono problemi di carattere fondamentale nello sviluppo delle applicazioni informatiche. Per quanto riguarda le capacità di analisi, verranno introdotte le tecniche di base per la dimostrazione di correttezza di un algoritmo e la valutazione della complessità temporale.