Calendario delle lezioni anno accademico 2005/2006
Lunedý ore 11:00 - 13:00. Aula B7
Giovedý ore 16:15 - 18:15. Aula E4


Orario di Ricevimento:
Martedi'ore 10:30 - 12:30. Studio OF29B - Dipartimento di Biologia


Materiale didattico:
Prima Lezione: Breve descrizione del corso
Seconda Lezione: Semantica Operazionale del linguaggio imperativo IMP
Terza Lezione [versione 2006] : Tecniche di prova per induzione
Quarta Lezione: Esercitazione in aula
Quinta Lezione : Definizione induttiva di domini
Sesta Lezione [versione 2006] : Ordinamenti parziali completi, funzioni continue e punti fissi
Settima Lezione [nuova versione]: Semantica denotazionale di IMP
Settima Lezione-bis 2006 : Semantica denotazionale del comando while
Ottava Lezione: Equivalenza delle semantiche operazionale e denotazionale di Aexp e Bexp di IMP
Nona Lezione [nuova versione] : Esercitazione sulle semantiche operazionale e denotazionale di IMP
Decima Lezione [versione 2006] : Equivalenza delle semantiche operazionale e denotazionale dei comandi Com di IMP. Esercitazione
Undicesima Lezione Esercitazione precompitino
Dodicesima Lezione: Intermezzo: Introduzione alla verifica di metodi formali
Tipi, termini tipabili e valutazione eager [**II versione 2006**]
Valutazione lazy [versione 2006]
Lezione 09/01/05: Nondeterminismo e parallelismo: Introduzione ai linguaggi con guardia
Lezione 12/01/05: Communicating Sequential Processes (CSP) [nuova versione]
Lezione 19/01/05: Esercitazione in aula sui tipi
Note al rivevimento del 26/01 sul non determinismo. [nuova versione]


Comunicazioni:

Pubblicati i risultati della prova del 06/09/06.
E' possibile registrare l'esame Venerdý 15 Settembre dalle 14:30 alle 15:30 nell'ufficio 0f29.

Pubblicati i risultati della prova del 19/06/06.
E' possibile regis