Anno Accademico 2018-2019

Giugno 29: PP del 24 Giugno. Ho appena terminato l'esame delle soluzioni date dai partecipanti all'ultima Prova Preliminare, e provveduto a mandare comunicazione dell'esito.

Giugno 10: Prova Finale ed Iscrizione. Una volta superata la Prova Preliminare in un appello, la successiva Prova Finale puo' essere sostenuta nello stesso appello o in uno degli appelli della stessa sessione. In ogni caso, e' richiesta l'iscrizione che consiste in una comunicazione via e-mail indicante l'intenzione a partecipare. La comunicazione deve essere effettuata entro le 24 ore antecedenti allo svolgimento della prova

Giugno 10: Laboratorio. Pubblicata Tabella con l'esito sull'attivita` di Laboratorio. Il punteggio ottenuto sara sommato al voto, espresso in 24esimi, ottenuto nelle prove scritte.

Giugno 1: Iscrizioni ed Esami. Il giorno 3 giugno p.v. si svolgerà la Prova Preliminare del primo dei 3 appelli previsti per la sessione estiva. La partecipazione richiede l'iscrizione nei tempi e nelle modalità previste dall'Ateneo. L'esito sarà comunicato nella stessa settimana e quanti hanno superato la PP potranno sostenere la Prova Finale nella settimana successiva, in giorno, luogo e con orario da stabilire.

Marzo 28 : Laboratorio Domani. Non ho potuto tenere la Lezione di oggi, nè ho potuto darvene avviso. Domani inizieremo a sviluppare codice OCaml per l'esecutore del Linguaggio SmallC. A questo scopo è importante che tutti i partecipanti abbiano studiato attentamente quanto discusso nel Laboratorio1 di Venerdi 22/03 e nella Lezione/Esercitazione di Martedi 26/03. Ricordarsi di portare in forma cartacea il materiale di rapida consultazione che ciascuno ritenga necessario.

Marzo 22 : Laboratorio. Controlleremo, nei primi 15 minuti, codice, compilazione ed esecuzione della soluzione data da ciascuno allo esercizio completo sulla Sintassi Astratta del Lambda-Calcolo. Dedicheremo il resto del tempo all'introduzione ed uso del linguaggio OCaml. OCaml è il Linguaggio di Programmazione che useremo come Linguaggio di Sviluppo per l'Interprete e di supporto all'Esecutore del Linguaggio di Programmazione SmallC. SmallC è il Linguaggio di Programmazione che definremo ed implementeremo nel corso delle successive ore di Laboratorio.

Febbraio 26 : Presentazione Corso. Presentazione del Corso ed Organizzazione della ditattica del Corso.