Linguaggi di Programmazione e Laboratorio

LAUREA in MATEMATICA

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.

tr> tr> > > >
Martedì 25/2

Presentazione del corso
Funzioni Calcolabili e Programmi

Presentazione Lezione1
EserciziLezione1
[GM] Cap.1
Mercoledì 26/2

Universale e Riflessione
LP e Algoritmi

Lezione1(completata) Lezione2
EserciziLezione2
[GM] Cap.1
Giovedì 27/2

Algoritmi, LP e F. Calcolabili
AM: Interpreti, Compilatori e ...

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
ed Esecutori Misti

Lezione3(completata)
Mercoledi 04/3

Grammatiche G^R,G^F: Deriva su A*, A^Tree.
Relazioni e Frontiera, Ambiguita`, AST.

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 Listing2 Listing3
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
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