Anno Accademico 2016-2017 |
Appello Straordinario. Lunedì 18 settembre, ore 9:00, è fissato un appello straordinario in recupero dalla prova annullata a manifestazione dello scopero dagli esami di profitto. L'appello si svolgerà nel mio studio presso il Dipartimento di Informatica.
Sciopero dagli esami di profitto. L'appello fissato per la data odierna è annullato a manifestazione dello sciopero della docenza universitaria dagli esami di profitto della sessione autunnale. Lo sciopero è stato indetto dopo mesi di incontri con il precedente e l'attuale governo. Incontri che nonostante il riconoscimento, condiviso da tutte le parti, dell'insostenibilità dei tagli alla spesa per l'Università Italiana, negli ultimi 20 anni, e l'urgenza di nuovi stanziamenti, vedono il protrarsi di un inequo trattamento retributivo dei docenti universitari rispetto alle altre figure giuridicamente equiparate, e nessun concreto cambiamento negli investimenti. Nell'aderire allo sciopero rimando al manifesto dello scopero, e per quanti vogliano approfondire la questione a ROARS
Iscrizione Prova Finale Inviatemi email per consertirmi di predisporre i testi necessari per lo svolgimento dellsa prova.
Listings di giovedi 1 Giugno Corretti errori nel testo a commento e nel codice. Aggiunte soluzioni alternative.
Laboratorio 18/5 Sincronizzazione del Codice Prodotto. Verificheremo che il codice prodotto sulla propria piattaforma da ogni partecipante contenga uno sviluppo analogo (definizioni diverse ma equivalenti) a quello disponibile (sul registro delle attività, alla giornata di oggi) alla voce "ComandietAl.ml", completato con il codice per i comandi di SmallC (vedi regole di inferenza dei comandi alla voce "laboratorio8.pdf")
Lucidi Laboratorio 10/4 Sono ora disponibili. Il link "svilippo" del materiale del Laboratorio conteneva un errore che non permetteva di accedere ai lucidi. Ho risolto l'inconveniente ed ho aggiornato i lucidi originali con slides sulla definizione ed uso dei tipi algebrici in OCaml e sulla semantica di SmallC. Scaricateli e portateli al Laborario di giovedì prossimo.
Lezione Mercoledì 19/4 ore 09:00-11:00 è annullata. Come concordato, l'attività riprenderà regolarmente a partire da giovedì 20/4 con Laboratorio ore 11:00-13:00 aula M.
Laboratorio Lunedì 10/4 ore 14:00-16:00 Aula M avremo attività di laboratorio: 1) Completeremo l'implementazione degli alberi astratti per Espressioni, comandi, Programma; 2) Passeremo all'implementazione dello stato utilizato dall'interprete (Activation Record, Ambiente, Memoria).
Nuovo Orario da questa settimana useremo il nuovo orario delle Lezioni/Esercitazioni/Laboratorio.
Lunedi 6 p.v. discuteremo le slides di cui vi anticipo il contenuto nel registro. Potete scaricarle ed utilizzarle durante la lezione.
Attività di oggi. Abbiamo rivisto il nuovo orario (di cui ho appena mandato comunicazione email al Gruppo Studenti). Sebbene fossimo pochi, ho deciso di andare avanti con la lezione che tratta la relazione tra Linguaggi e Algoritmi in calcolabilità e sulla definizione e classificazione dei linguaggi (le slides che trovate, dovrebbero risultare chiare anche agli assenti). In ogni caso l'attività di laboratorio fissata per domani è annullata in attesa del nuovo orario. Ci rivediamo Lunedi 6 p.v.
Gruppo Studenti. Gli studenti, intenzionazionati a frequentare l'insegnamento di LPL nel corrente anno, devono iscriversi al Gruppo Studentiinviandomi una email con l'indirizzo a cui siano contattabili in caso di urgenza.
Prima Lezione. Lunedì, 27 febbraio, ore 14:00, Aula L: Presentazione del Corso: Obiettivi, Contenuto, Organizzazione.