Dipartimento di Informatica e Scienze dell'Informazione

Metodi Formali dell'Informatica

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.

Programma schematico

Modalità degli Esami

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

• calcolare la media scartando un voto (conveniente per chi ha avuto un singolo sbandamento molto inferiore alla sua media)
• incrementare la media calcolata sulle 6 prove del 10% (conveniente per chi ha grosso modo preso tutti voti abbastanza allineati o abbastanza alti)

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.

Fogli Esercizi etc

• Tabelle riassuntive su LW, formato ppt, ps e pdf.
  Non ho avuto il tempo di rileggere queste pagine, quindi non prendetele per oro colato e segnalatemi errori vari, grazie.
• Esercizi foglio 1, formato ps e pdf

Registro delle lezioni

Per visualizzare correttamente il formato ps, si consiglia di impostare la visualizzazione su foglio A4.

Le lezioni con background di

questo colore

sono state/saranno tenute dalla Prof. Elena Zucca sul soggetto delle logiche assertive per linguaggi imperativi.

Il materiale relativo si trova qui

Il materiale relativo si trova qui

Novembre

Prove nel periodo di interruzione