Per ricevere le novità riguardanti il corso di MFI via email, iscriversi qui.
Oltre agli studenti nel cui piano
di studi compare MFI, la parte di MFI riguardante
le specifiche, deve essere sostenuta anche dagli studenti nel cui piano
di studi compaiono MTI o ASD del 4 anno.
Questi ultimi sono invitati a contattare via email Maura Cerioli per verificare le
modalità d'esame.
Durante l'anno si sono tenute sei prove intermedie e relativi recuperi
(ciascuno ha potuto recuperare non più di quattro prove).
Chi ha la media sufficiente (sostituendo eventuali recuperi ai voti originali)
può farsi registrare tale media come voto entro Febbraio
2004.
Chi ha la media delle cinque prove migliori (sostituendo eventuali recuperi ai voti originali)
non inferiore a 14.5 può sostenere l'orale a partire da quella media entro Febbraio
2004.
Per incoraggiare la rapida registrazione, chi se lo fa registrare senza
sostenere l'orale e prima
dell'appello di luglio può scegliere fra due bonus
Attenzione!!! L'offerta vale solo per chi registra il voto entro luglio senza provare scritti e/o orali
La situazione (spero corretta) dei voti si trova
qui per la registrazione del voto
ci vediamo Mercolediì 25 pomeriggio, nell'aula dello scritto di
TAPS dalle 14 fino alla sua conclusione (ammesso che ci siano "clienti"
per TAPS) e dopo nel mio studio.
Per chi non potesse in tale data, la seconda chance è durante lo
scritto di MFI di luglio.
Per sostenere l'esame in un appello è necessario prenotarsi via email.
Se non si verificano imprevisti di imponente entità non saranno
concessi appelli straordinari.
Per visualizzare correttamente il formato ps, si consiglia di impostare la visualizzazione su foglio A4.
Le lezioni con background di
questo colore |
---|
Il materiale relativo si trova qui
Le lezioni con background diquesto colore |
---|
Il materiale relativo si trova qui
Data | Ora | Aula | Soggetto | Materiale |
---|---|---|---|---|
28/10/2002 | 14-15 | 711 | Introduzione | pdf, ppt |
15-16 | Introduzione alle Specifiche Algebriche; Segnature | ppt | ||
29/10/2002 | 11-13 | 711 | Algebre, Formule e Validità | ppt |
4/11/2002 | 14-16 | 711 | Completamento della logica Specifiche |
ppt |
5/11/2002 | 11-13 | 711 | Sistema deduttivo Specifica delle mappe finite (inizio) |
ppt |
15/11/2002 | 11-13 | 711 | Continuazione esercizi sulle mappe finite | |
11/11/2002 | 14-16 | 711 | Continuazione esercizi sulle mappe finite | |
12/11/2002 | 11-13 | 711 | Semantica Statica: identificatori e tipi | pdf, ppt |
15/11/2002 | 11-13 | 711 | Semantica Statica: ambiente locale e globale | |
18/11/2002 | 14-16 | 711 | Specifiche Algebriche 4 | |
19/11/2002 | 11-13 | 711 | Esercitazione guidata: Semantica Statica del Linguaggio Imperativo | pdf, ppt |
22/11/2002 | 11-13 | 711 | Esercitazione guidata (continuazione) | |
25/11/2002 | 14-16 | 711 | Specifiche Algebriche 5 | |
26/11/2002 | 11-13 | 711 | Semantica Statica Esercizi | |
29/11/2002 | 11-13 | 711 | Semantica Dinamica Denotazionale | pdf, ppt |
2/12/2002 | 14-16 | 711 | Specifiche Algebriche 6 | |
3/12/2002 | 11-13 | 711 | Semantica Dinamica del Linguaggio Imperativo | pdf, ppt |
9/12/2002 | 14-16 | 711 | Specifiche Algebriche 7 | |
10/12/2002 | 11-13 | 711 | Semantica Denotazionale del Linguaggio Imperativo | pdf, ppt |
13/12/2002 | 11-13 | 711 | Semantica Denotazionale del Linguaggio Imperativo | |
16/12/2002 | 14-16 | 711 | Esercizi su Semantica Statica | |
17/12/2002 | 11-13 | 711 | Esercizi su Semantica Dinamica | |
20/12/2002 | 9-11 | 508 | Prima prova Intermedia |
Questionario 1 Soluzione questionario 1 Compitino 1 Risultati questionario Risultati seconda parte Risultati Senza dettagli |
7/1/2003 | 11-13 | 711 | Specifiche Algebriche Esercizi | < |
10/1/2003 | 14-16 | 508 (da verificare) | Seconda prova Intermedia | |
13/1/2003 | 14-16 | 711 | Linguaggio Applicativo | pdf, ppt |
14/1/2003 | 11-13 | 711 | Lambda-Calcolo | pdf, ppt |
17/1/2003 | 9-11 | 711 | Esercizi | |
3/02/2003 | 14.30-16.30 | 506 | Terza prova Intermedia |
Questionario 3 Soluzione questionario 3 Compitino 3 Risultati questionario Risultati seconda parte Risultati senza dettagli |
20/02/2003 | 16.30-16.30 | 506 | Recupero Prima prova Intermedia |
Recupero Questionario 1 Soluzione recupero questionario 1 Recupero Compitino 1 Risultati |
Recupero Terza prova Intermedia |
Recupero Questionario 3 Soluzione recupero questionario 3 Recupero Compitino 3 Risultati |
|||
24/2/2003 | 14-16 | 711 | Correzione recupero prove intermedie | |
26/2/2003 | 11-13 | 711 | Semantica Operazionale Strutturata | pdf, ppt |
28/2/2003 | 9-10 | 711 | SOS-Small Steps per LW | pdf, ppt |
3/3/2003 | 14-16 | 711 | SOS-SS Continuazione | |
5/3/2003 | 11-13 | 711 | Lezione non svolta per permettere la partecipazione alla giornata "Microsoft" | |
7/3/2003 | 9-10 | 711 | Esercizi su SOS-SS | |
10/3/2003 | 14-16 | 711 | Binding statico e dinamico, lazy valuation | |
12/3/2003 | 11-13 | 711 | ||
14/3/2003 | 9-10 | 711 | ||
17/3/2003 | 14-16 | 711 | Lezione non effettuata per distrazione | |
19/3/2003 | 11-13 | 711 | ||
21/3/2003 | 9-10 | 711 | ||
24/3/2003 | 14-16 | 711 | ||
26/3/2003 | 11-13 | 711 | Esercizi | |
28/3/2003 | 9-10 | 711 | Esercizi | |
31/3/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
2/4/2003 | 11-13 | 711 | Paradigmi di programmazione concorrente | pdf, ppt |
Linguaggio ParWhile | pdf, ppt | |||
4/4/2003 | 9-10 | 711 | Continuazione ParWhile | |
7/4/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
9/4/2003 | 11-13 | 711 | Esercizi su ParWhile | |
11/4/2003 | 9-10 | 711 | Esercizi su ParWhile | |
14/4/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
16/4/2003 | 11-13 | 711 | Esercizi su ParWhile | |
28/4/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
30/4/2003 | 11-13 | 505 | Quarta prova Intermedia |
Questionario 4 Soluzione questionario 4 Compitino 4 Risultati questionario: dettagli Risultati compitino |
2/5/2003 | 9-10 | |||
5/5/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
7/5/2003 | 11-13 | 711 | Correzione quarto compitino CCS e sistemi di transizione |
|
9/5/2003 | 9-10 | |||
12/5/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
14/5/2003 | 11-13 | 711 | CCS | |
16/5/2003 | 9-10 | 711 | CCS restrizione e ridenominazione ed esercizi | |
19/5/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
21/5/2003 | 11-13 | 711 | CCS costrutti ricorsivi, semantica a tracce e proprietà della bisimulazione | |
23/5/2003 | 9-10 | 711 | Prove di bisimulazione per termini con behaviour finito | |
26/5/2003 | 14-16 | 711 | Asserzioni e Specifiche per linguaggi imperativi | |
28/5/2003 | 11-13 | 711 | Prove di bisimulazione per termini con behaviour infinito ed esercizi |
6/6/2003 | 10-13 | 509 | Quinta prova Intermedia | |
---|---|---|---|---|
13/6/2003 | 10-12 | 506 | Sesta prova Intermedia |
Questionario 6 Compitino 6 Risultati |
18/6/2003 | 9-13 | 505 | Scritto di Giugno e recupero dei compitini |
Recupero Questionario 4 Recupero Compitino 4 Risultati Recupero 4 Recupero Questionario 6 Recupero Compitino 6 Risultati Recupero 6 |
Please send suggestions and comments to: | Last Updated |
|
|