Università di Pisa
Anno Accademico 2019-20
prof. Marco Bellia
Guida allo studio del materiale. La partecipazione alla lezione è il primo fondamentale passo per lo studio del corso e del materiale relativo. La lezione infatti, introduce e discute, in modo conveniente, il materiale selezionato per lo studio degli argomenti trattati e, fornisce indicazioni su letture complementari per un loro possibile approfondimento. Il passo successivo è la revisione individuale del contenuto delle slide presentate. Questa revisione deve essere condotta prima della successiva lezione e deve consistere nel ri-considerare ogni affermazione, formulazione ed esempio, contenuti, e motivare ciascuno di questi utilizzando le parti del testo indicato (e riportato nel diario delle attività, sotto). In questa revisione anche le letture complementari possono risultare utili. Ultimata questa revisione, occorre considerare e risolvere tutti gli esercizi proposti: Si può usare questa attività come base per riflettere su quanto studiato e sfidarsi sulla soluzione di problemi ancora più complessi di quelli proposti. Infine, occorre annotare ogni domanda o dubbio emersi e usare il ricevimento per discuterli con i docenti durante la settimana.
Martedì 25/2 | Presentazione del corso |
Presentazione Lezione1
EserciziLezione1 [GM] Cap.1 |
---|---|---|
Mercoledì 26/2 | Universale e Riflessione |
Lezione1(completata) Lezione2
EserciziLezione2 [GM] Cap.1 |
Giovedì 27/2 | Algoritmi, LP e F. Calcolabili |
Lezione2(completata) Lezione3
EserciziLezione3 [GM] Cap.1 |
Venerdì 28/2 | Laboratorio: A1. Esercizi di Espressivita' | LaboratorioA1 Listing28-02-20 |
Martedì 03/3 | AM: Interpreti e Compilatori |
Lezione3(completata) |
Mercoledi 04/3 | Grammatiche G^R,G^F: Deriva su A*, A^Tree. |
Lezione4 (slides 1-24) [GM] Cap.2 |
Giovedi 05/3 | ANNULATA |
|
Venerdì 06/3 | ANNULATA | |
Martedì 10/3 | Esercizi Vari | EserciziVari |
Mercoledi 11/3 | Sintassi Concreta e Astratta: Esercizi e Osservazioni |
Lezione4 |
Giovedi 12/3 | Semantica. SOS: Stato, Transizione di Stato. Regole di Transizione, Computazione |
Lezione4 (sl. 25-40) |
Venerdi 13/3 | Semantica SOS: Applichiamo Laboratorio: A2. Esercizi di Espressivita' |
Lezione4 (sl. 25-40) LaboratorioA2 |
Martedì 17/03 | Completiamo Lezione4 Esercizi Vari |
EserciziVari2 CastEAllocazione.zip |
Mercoledì 18/03 | Modelli di Calcolo: Lambda Calcolo | Lezione5-Parte1 [GM] Cap.3 EserciziL5 |
Giovedì 19/03 | Lambda Calcolo: Valori e Punto fisso di funzionali Macchina a Stati di Minsky |
Lezione5-Parte1(Annotata) Lezione5-Parte2 |
Venerdi 20/3 | Laboratorio: Parse Tree in Listing3 - Completiamo il Codice | Listing3 del 13/03 |
Martedì 24/03 | Sintassi,Semantica,\-Calcolo | EserciziVari3 |
Mercoledi 25/03 | Ambiente, Stack, Activation Records e Memoria nelle AM | Lezione6 [GM] Cap.4-5 |
Giovedi 26/03 | Completata Lezione6 | Lezione6 (sl. 17-25) |
Venerdi 27/03 | Laboratorio: Progetto: Presentazione e Strumenti | Guida Istallazione OCaml Laboratorio1 OCaml: Proprieta' |
Martedì 31/03 | OCaml: Prime Applicazioni | OCaml: Primi Esempi LambdaAST(.zip) |
Mercoledi 01/04 | Prescrittivi: Controllo di Sequenza | Lezione7 (sl. 1-13) [GM] Cap.6 |
Giovedi 02/04 | Completata Lezione7 AST in Ocaml |
LAST (per compilatore) |
Venerdi 03/04 | Laboratorio: Laboratorio2 | Listing.zip Laboratorio2 |
Martedì 07/04 | Lezione7: Memoization ed Esercizi Laboratorio2: Completare |
Laboratorio2 |
Mercoledi 08/04 | Laboratorio: | |
Giovedi 09/04 | Laboratorio: Ancora Sintassi Astratta | Laboratorio2bis Listing di oggi |
Martedi 21/04 | Controllo di Sequenza: Esercizi Laboratorio: Sintassi Astratta |
Esercizi Listing di Oggi.zip |
Mercoledi 22/04 | Astrazioni di Controllo | [GM] cap.7 |
Giovedi 23/04 | Astrazioni: Higher Order ed Eccezioni | Lezione8.pdf [GM] cap.7 |
Venerdi 24/04 | Laboratorio: Macchina Astratta - Lo Stato |
Small20 (con Ex. di Lab3 risolti) Laboratorio4.zip |
Martedi 28/04 | Esercizi irrisolti di Laboratorio4 | Small20Lab4ExRisolti.ml |
Mercoledi 29/04 | Dati, Tipi di Dati, Tipi |
Lezione9.pdf Sistema Y di Small20 (pdf) |
Giovedi 30/04 | Nuovi TD: Metodologia PreSAI Tipi Astratti: Integrita' dello Stato |
Lezione9 (completata) [GM] cap.8 |
Martedi 05/05 | Laboratorio: MA - Dichiarazioni Small20 |
Laboratorio5.zip Laboratorio5+Sol.pdf Small20+Sol.ml |
Mercoledi 06/05 | Tipi Astratti e Moduli | Lezione10.pdf |
Giovedi 07/05 | Tipi Astratti e Moduli | Lezione10.pdf [GM] Cap.9 |
Venerdi 08/05 |
Laboratorio: MA20: Espressioni Small20 Completare le SoluzioniDate |
MaterialeDistribuito.zip SoluzioniDate.zip |
Martedi 12/05 | Linguaggi OO: Principi e Intruzione a Java | Lezione11.pdf [GM] Cap.10 |
Mercoledi 13/05 | Java: Basilari per Programazione in Piccolo I | Lezione12.pdf |
Giovedi 14/05 | Java: Basilari per Programazione in Piccolo II | Lezione13.pdf |
Venerdi 14/05 |
Laboratorio: MA20: Espressioni Small20 - Parte2 |
MaterialeDistribuito.zip Soluzione:RegoleInferenza.pdf Soluzione:Small20.ml |
Martedi 19/05 | Java: Overriding e Overloading | Lezione13 (completata) |
Mercoledi 20/05 |
Laboratorio: MA20: Ricerca, Individuazione e Correzione di Errori |
Materiale 14/05 |
Giovedi 21/05 |
Laboratorio: MA20: Comandi For, ed espressioni come comandi |
Materiale 14/05 |
Venerdi 22/05 | Laboratorio: MA20: cdmSem, stmSem, prgSem | Laboratorio8.zip (con Small20Sol.ml) |
Martedi 26/05 | Conclusione Corso e Saluti | |
Venerdi 29/05 ore 11:15 | Seminario: Franesca Rizzo | Small20: Espressione con autoincremento | tr>Venerdi 29/05 ore 11:45 | Seminario: Lorenzo Demeio | Small20: Espressioni Array |
Giovedi 25/05 ore 09:15 | Seminario: Emanuele Angile' | Small20: Dichiarazione Multipla |
Venerdi 10/07 ore 09::30 | Seminario: Enrico Sorbera | Small20: For Determinato |
Giovedi 16/07 ore 10:00 | Seminario: Fabiana Chericoni | Small20: Condizionale Multiplo |
Venerdi 17/07 ore 10:00 | Seminario: Melania Pelosi | Small20: Costrutto Swap |
> | ||
> | ||
> |