PRESENTAZIONE

Nel modulo teorico, il corso presenta i modelli formali di soluzione di problemi mediante calcolatore intesa come trattamento di linguaggi e le relative problematiche di computabilità e complessità. Il corso considera le principali tecniche per la costruzione di algoritmi e strutture dati corrette ed efficienti. Nel modulo di laboratorio vengono esposti strumenti di progettazione e programmazione in un linguaggio orientato agli oggetti finalizzato allo sviluppo di un interprete.

OBIETTIVI E CONTENUTI

PREREQUISITI

Per la comprensione degli argomenti del corso è necessaria la conoscenza dei concetti di programmazione procedurale (principali tipi di dato scalari e vettoriali, dichiarazione e utilizzo di variabili, scelte condizionali, iterazioni, definizione di funzioni), della programmazione orientata agli oggetti (definizione di classi e classi generiche) e del linguaggio C++ come forniti dai corsi di Fondamenti di Informatica. E' inoltre consigliabile un'esposizione ai concetti di base di insiemistica, matematica discreta e probabilità.

DOCENTI E COMMISSIONI