Il corso intende fornire agli studenti una descrizione completa delle principali tecniche utilizzate nell'analisi degli algoritmi e delle strutture dati. Il corso si focalizza soprattutto sull'analisi del caso medio, sebbene le tecniche matematiche illustrate siano le stesse utilizzate anche nell'analisi del caso peggiore, ed è integrato con la presentazione di un sistema di manipolazione simbolica che viene utilizzato come strumento per l'approfondimento e la verifica degli argomenti trattati.