Lucidi
Semantica operazionale: lo stato
Semantica operazionale: le transizioni
Esercizi sulla sintassi di Java
Un esercizio sulla semantica di Java
Esercizi su procedure ed eccezioni
Progettazione sistematica di un tipo di dato
Esercizio: tipo di dato coda con priorita'
Esercizio sulle liste di interi
Ancora sull'iterazione astratta
Un esempio: le liste ordinate di interi
Un altro esempio: le s-espressioni
Esercizio: tipo di dato funzione
Implementazioni multiple e principio di sostituzione
Le s-espressioni progettate in modo gerarchico
Un altro esempio: il tipo Table
Esercizio sugli insiemi polimorfi
Esercizio sulle funzioni polimorfe
Esercizio sulle liste omogenee
Esercizio sulle liste ordinate
Esercizio sulle liste circolari
Esercizio sugli alberi binari etichettati
Il testo del compito del 26-6-2003 e` qui
Il testo del compito del 16-7-2003 e` qui
Il testo del compito del 12-9-2003 e` qui
Uno svolgimento del secondo esercizio del compito di esame del 12-9-2003 e` qui
Testo e svolgimento del compito di esame del 8-1-2004 sono qui
Il testo del compitino del 31-3-2004 e` qui
Uno svolgimento del primo esercizio del compitino del 31-3-2004 e` qui
Uno svolgimento del secondo esercizio del compitino del 31-3-2004 e` qui
Il testo del compitino del 19-5-2004 e` qui
Uno svolgimento del compitino del 19-5-2004 e` qui
Il testo e uno svolgimento del compito scritto del 26-5-2004 sonoqui
Il testo del compito scritto del 18-6-2004 e` qui
Uno svolgimento del primo esercizio del compito scritto del
18-6-2004 e` qui
Uno svolgimento del secondo esercizio del compito scritto del
18-6-2004 e` qui
Il testo del compito scritto del 6-7-2004 e` qui
Uno svolgimento del primo esercizio del compito scritto del
6-7-2004 e` qui
Il testo del compito scritto dell'8-9-2004 e` qui
Il testo del compitino del 7-4-2005 e` qui
Uno svolgimento del primo esercizio del compitino del 7-4-2005 e` qui
Uno svolgimento del secondo esercizio del compitino del 7-4-2005 e` qui
Uno svolgimento del terzo esercizio del compitino del 7-4-2005 e` qui
Il testo del compitino del 31-5-2005 e` qui
Uno svolgimento del compitino del 31-5-2005 e` qui
Il testo dello scritto dell'8-6-2005 e` qui
Uno svolgimento del primo esercizio dello scritto dell'8-6-2005 e` qui
Uno svolgimento del secondo esercizio dello scritto dell'8-6-2005 e` qui
Uno svolgimento del secondo esercizio dello scritto del 28-6-2005 e` qui
Il testo dello scritto del 12-9-2005 e` qui
Il testo dello scritto del 17-1-2006 e` qui
Uno svolgimento del secondo esercizio dello scritto del 17-1-2006 e` qui
Il testo dello scritto del 7-2-2006 e` qui
Uno svolgimento del primo esercizio dello scritto del 7-2-2006 e` qui
Il testo del compitino del 4-4-2006 e` qui
Uno svolgimento del compitino del 4-4-2006 e` qui
Il testo del compitino del 29-5-2006 e` qui
Uno svolgimento del compitino del 29-5-2006 e` qui
Il testo dello scritto dell' 8-6-2006 e` qui
Uno svolgimento degli esercizi dello scritto dell' 8-6-2006 e` qui
Il testo dello scritto del 29-6-2006 e` qui
Uno svolgimento del secondo esercizio dello scritto del 29-6-2006 e` qui
Il testo dello scritto del 20-7-2006 e` qui
Il testo dello scritto del 14-9-2006 e` qui
Il testo dello scritto del 29-1-2007 e` qui
Il testo del compitino del 3-4-2007 e` qui
Uno svolgimento del secondo esercizio del compitino del 3-4-2007 e` qui
Uno svolgimento del terzo esercizio del compitino del 3-4-2007 e` qui
Il testo del compitino del 29-5-2007 e` qui
Il testo dello scritto del 6-6-2007 e` qui
Uno svolgimento del secondo esercizio dello scritto del 6-6-2007 e` qui
Il testo dello scritto del 4-7-2007 e` qui
Il testo dello scritto del 25-7-2007 e` qui
Il testo dello scritto del 7-9-2007 e` qui
Il testo dello scritto del 7-1-2008 e` qui
Il testo dello scritto del 28-1-2008 e` qui
Il testo del compitino del 3-4-2008 e` qui
L'esecuzione del primo esercizio del compitino del 3-4-2008 e` qui
Uno svolgimento del secondo esercizio del compitino del 3-4-2008 e` qui
Uno svolgimento del terzo esercizio del compitino del 3-4-2008 e` qui
Il testo del compitino del 6-6-2008 e` qui
Il testo dello scritto del 16-6-2008 e` qui
Il testo dello scritto del 2-7-2008 e` qui
Il testo dello scritto del 18-7-2008 e` qui
Il testo dello scritto dell'8-9-2008 e` qui
Uno svolgimento del secondo esercizio dello scritto dell'8-9-2008 e` qui
Il testo dello scritto del 19-1-2009 e` qui
Il testo dello scritto del 9-2-2009 e` qui
Il testo del compitino del 7-4-2009 e` qui
L'esecuzione del primo esercizio del compitino del 7-4-2009 e` qui
Il testo del compitino del 28-5-2009 e` qui
Uno svolgimento del compitino del 28-5-2009 e` qui
Il testo dello scritto del 10-6-2009 e` qui
Il testo dello scritto del 26-6-2009 e` qui
Il testo dello scritto del 14-7-2009 e` qui
Il testo dello scritto dell'11-9-2009 e` qui
Il testo dello scritto del 15-1-2010 e` qui
Il testo dello scritto del 5-2-2010 e` qui
Il testo dello scritto dell'11-6-2010 e` qui
Il testo dello scritto del 5-7-2010 e` qui
I risultati dello scritto del 5-7-2010 sono qui
Il testo dello scritto del 27-6-2011 e` qui
I risultati dello scritto del 27-6-2011 sono qui