Calendario delle lezioni anno accademico 2008/2009
Martedi' ore 14:00 - 16:00. Aula E3
Giovedì ore 16:15 - 18:15. Aula B7

Orario di Ricevimento:
Giovedi'ore 13:30 - 15:30. Studio OF29B - Dipartimento di Biologia

Materiale didattico:
Prima Lezione: Breve descrizione del corso
Seconda Lezione: Semantica Operazionale del linguaggio imperativo IMP
Terza Lezione: Tecniche di prova per induzione
Quarta Lezione: Esercitazione in aula
Quinta Lezione : Definizione induttiva di domini
Sesta Lezione: Ordinamenti parziali completi, funzioni continue e punti fissi
Settima Lezione: Semantica denotazionale di IMP
Ottava Lezione: Semantica denotazionale del comando while
Nona Lezione: Equivalenza delle semantiche operazionale e denotazionale di Aexp e Bexp di IMP
Decima Lezione: Esercitazione sulle semantiche operazionale e denotazionale di IMP
Undicesima Lezione: Equivalenza delle semantiche operazionale e denotazionale dei comandi Com di IMP. Esercitazione
Dodicesima Lezione: Esercitazione sulle equivalenze semantiche.
Tredicesima Lezione: Tipi, termini tipabili e valutazione Eager.
Quattordicesima Lezione: Tipi, termini tipabili e valutazione Lazy.

Comunicazioni:

Homework: (*rettifica*) esercizio 1 da qui (dimostrando la doppia implicazione operazionale <-> denotazionale). Esercizio 2 da qui . Esercizio 4 da qui . Consegna Martedì 16/12/2008. Homework II . Consegna entro Mercoledì 7/01/2009.