Obiettivi formativi.
Obiettivo formativo primario è apprendere come descrivere semplici processi in maniera formale, attraverso la definizione di algoritmi, e acquisire una metodologia per valutare la complessità di un algoritmo.
Gli studenti devono essere in grado di:
- definire in modo non ambiguo un problema,
- individuare in maniera precisa quali dati devono essere trattati,
- come rappresentare tali dati,
- quali passi realizzano un procedimento che risolve il problema.
Queste capacità sono espresse attraverso l'uso del linguaggio di programmazione Java.

Conoscenza e capacità di comprensione.
Dopo aver frequentato il corso gli studenti conoscono e comprendono il concetto di algoritmo e come un algoritmo si possa esprimere utilizzando un linguaggio di programmazione.
Utilizzano i costrutti di base del linguaggio Java e sono coscienti della possibilità di risolvere uno stesso problema con algoritmi di complessità computazionale diverse.
Conoscono inoltre vari algoritmi per la soluzione di problemi di base, come ricerca e ordinamento, e alcuni algoritmi numerici.

Capacità di applicare conoscenza e comprensione.
Al termine del corso gli studenti sono in grado di formalizzare algoritmi per semplici problemi, realizzare programmi che li implementano in linguaggio Java, passando attraverso tutte le fasi: progettazione, stesura del codice sorgente, compilazione, debugging ed esecuzione.
Conoscono le notazioni che permettono di esprimere asintoticamente la complessità di un algoritmo.
Conoscono le modalità di codifica di informazioni di natura testuale, numerica, ed altra natura.

Autonomia di giudizio.
Gli studenti sono in grado di apprezzare la differenza tra risolvere un problema e descrivere formalmente un processo risolutivo. Riescono a valutare come scelte realizzative diverse possono portare a soluzioni con diverse caratteristiche di efficienza, applicando paradigmi studiati nell'ambito di problemi di base.
Attraverso le intense attività di laboratorio acquisiscono una maggiore consapevolezza dei processi alla base dell'uso di un elaboratore.

Abilità comunicativa.
Gli studenti vengono acquisiscono il rigore formale indispensabile per utilizzare un linguaggio di programmazione.
Riescono ad apprezzare e a prevedere le ricadute, in termini di complessità, dell'applicazione di tecniche risolutive diverse.
Riescono ad applicare tecniche di decomposizione, in modo da ridurre la soluzione di problemi complessi alla soluzione di problemi più semplici.

Capacità di apprendimento.
Gli studenti che superano l’esame possono analizzare la struttura di un programma, anche complesso, possono impadronirsi facilmente dell'uso di un qualunque altro linguaggio di programmazione imperativo o a oggetti, possono distinguere quali problemi si prestano ad una soluzione automatizzata.