MFI-Riscrittura (a.a. 2008-09)
Archivio E-Mail

Data: 23 aprile 2009
Subject: corso di MFI

Cari studenti,

dopo il tragico evento che ci ha colpiti, credo sia venuto il momento di riprendere piano piano una qualche attivita' di studio, anche se la situazione generale e' ancora caratterizzata da un estremo disagio. Spero che voi tutti stiate bene, insieme alle vostre famiglie ed i vostri amici.
Come saprete certamente, i docenti di Informatica stanno ancora vagliando varie possibilita' per la ripresa dell'erogazione della didattica. L'Ateneo si sta attivando per fornire un portale per la didattica. In attesa della sua definizione, che dovrebbe avvenire nei prossimi giorni, ho stilato una mailing list degli studenti che nel censimento hanno espresso interesse per il corso di MFI, sia come corso singolo da 6 cfu che come modulo all'interno del corso di Metodi Formali e di Verifica. Se saremo costretti a finire il corso tramite lezioni ed appunti messi in rete, troverete il materiale sulla mia pagina web (non appena mi sara' possibile accedervi dall'esterno) e sul portale di Ateneo. Credo pero' opportuno, considerata la situazione di emergenza, avere anche una mailing list dedicata al corso di MFI (magari ce l'avremo poi anche tramite il portale di Ateneo). Spero che avremo anche occasione di vederci per qualche lezione e/o ricevimento sotto una tenda o in qualche altra sede prima dello svolgimento degli esami. Ovviamente la prova parziale non potra' essere svolta nella data prevista. Vedremo poi, anche in accordo con il Dr. Magazzeni, se potremo farla piu' avanti o meno.
Per il momento, cio' che pensavo di fare e' darvi, settimana dopo settimana, degli argomenti da studiare con aggiunta di osservazioni non presenti nella dispensa sui sistemi di riscrittura, osservazioni che tipicamente avrei fatto a lezione. Poi provvedero' a farvi avere esercizi svolti relativi agli argomenti studiati. Se ci sono dubbi e/o problemi su definizioni, etc., potete scrivere sulla mailing list o solo a me, ma se le domande poste fossero d'interesse per tutti provvedero' a rispondere usando la mailing list.
Quindi, se siete d'accordo con questo modo di procedere, vi mandero' al piu' presto la descrizione della prima lezione via rete.

Cari saluti,
Monica Nesi

P.S. Se qualcuno di voi e' finito per errore nella presente mailing list, vi invito a farmelo sapere e cosi' provvedero' alla rimozione del suo indirizzo.