In questo spazio saranno raccolte le risposte a domande che potrebbero interessare altri studenti oltre a coloro che le ha formulate.


 

17/03/19 - Test di primalità: piccole ottimizzazioni del codice
21/11/18 - Cifrario di Cesare e alfabeto latino
6/09/18 - Analisi del passo induttivo in una dimostrazione di correttezza
6/07/18 - Espressioni a valore procedurale in Scheme
25/06/18 - Java e Scheme relativamente all'input standard
7/06/18 - Memoization: Parametri della ricorsione e dimensione della matrice (II)
7/06/18 - Parti in programma del libro introduttivo su Java
9/05/18 - Memoization applicata alla procedure ricorsive LLIS e LIS
2/05/18 - Importazione e utilizzo di un package codificato in un jar-file
3/04/18 - Controllo delle iterazioni di un ciclo "for"
14/03/18 - Metodi statici e metodi non statici
19/01/18 - Memoization: Parametri della ricorsione e dimensione della matrice (I)
15/01/18 - Correzione dell'impostazione di una procedura ricorsiva
11/01/18 - Codice compatibile con date asserzioni (pre/post-condizioni, invarianti)
28/12/17 - Codice da completare
29/10/17 - Forme sintattiche diverse per definire una procedura
1/07/17 - Modello in Scheme per il "Crivello di Eratostene"
1/07/17 - Variazioni sul tema delle tassellazioni lineari
1/02/17 - Dettagli sui passi di una dimostrazione di correttezza per induzione
14/12/16 - A proposito della procedura "ufo"...  
12/06/14 - Impostazione funzionale o imperativa?
9/04/14 - Comando "if" e impostazione funzionale
11/06/13 - Memoization vs. programmazione dinamica: matrice
10/06/13 - Programmazione dinamica: ordine di valutazione
10/06/13 - Matrici come array di array
10/06/13 - Impostazione funzionale o imperativa?
08/12/12 - Utilizzazione di un teachpack
15/12/10 - Utilizzazione dello "stepper"
01/12/10 - Valutazione del "let" e trattamento di liste
05/11/10 - Simboli non alfanumerici negli identificatori
03/07/10 - Memoization e programmazione dinamica
07/06/09 - Assegnazione di oggetti in Java
15/04/09 - Compilazione di programmi Java e utilizzo di DrJava
14/10/08 - "Quilting" (Concrete Abstraction, capp. 1, 2).    
19/02/08 - Numero di argomenti di una procedura Scheme
27/10/07 - Ricorsione su stringhe
8/12/06 - Iterazione determinata (for) e ricorsione
19/05/06 - Array Java e liste Scheme.
16/03/06 - Visita ricorsiva di un albero.
3/01/06 - Accesso sequenziale ai file in Scheme.
20/06/05 - Giro del cavallo e invarianti di classe.
18/06/05 - A proposito degli invarianti di classe.
15/06/05 - Attributo "static" di metodi e variabili.
10/06/05 - Utilizzo di package aggiuntivi archiviati in jar file.
10/06/05 - Procedure con argomenti e valori procedurali e funzione inversa.
4-10/06/05 - A proposito del "giro del cavallo".
23/05/05 - Costruttori e concetto di stato.
20/04/05 - Allocazione e deallocazione di memoria in Java.
7/03/05 - Rappresentazione di alberi.
13/07/04 - Approfondimenti sulla programmazione in Java.
6-7/06/04 - Suggerimenti per gli esercizi di laboratorio.
10/09/03 - Standard input in Java.
2/09/03 - Soluzioni degli esercizi d'esame.
10/03/03 - Modalità d'esame.
Giugno 2001 - Esercizi proposti.
Marzo 2001 - Esercizi proposti.
Dicembre 2000 - Esercizi proposti.
20/12/00 - Soluzione esercizi.
15/12/00 - Procedure predefinte in Scheme.