MFI-Riscrittura (a.a. 2008-09)
Archivio E-Mail
Data: 10 giugno 2009
Subject: MFI (4) - esercizi di E-unificazione +
ricevimento a Corropoli
Salve,
vi segnalo che all'indirizzo
http://www.di.univaq.it/monica/didattica08-09.html
e' disponibile il file
EsE-Unif.pdf
contenente lo svolgimento di due esercizi di E-unificazione,
presi dalla usuale collezione di esercizi.
Vi prego di segnalarmi eventuali errori o imprecisioni.
A questo punto dovreste essere in grado di svolgere non solo tutti
gli esercizi presenti nella collezione, ma anche quelli delle prove
scritte di esame. Qui termina la parte del corso sulla riscrittura.
L'ultima parte riguarda la logica e le prove nel sistema COQ, di cui
potete cominciare a studiare gli appunti presenti sul
sito
del Prof. Thery,
a cui passo il "testimone" del corso. Non appena gli sara' possibile,
il Prof. Thery vi fara' avere qualche nota e osservazione su tali
contenuti.
Infine vi comunico che sia io che il Prof. Thery saremo presso la
sede di Corropoli dal 16 al 18 giugno prossimi per fare
ricevimenti ed esercitazioni a gruppi di studenti (o anche singoli, se
necessario) sui contenuti del corso di MFI. Immagino che non sara'
un'occasione per sostenere l'esame, in quanto siamo in ritardo con
la conclusione del corso, a meno che non vi sia qualche studente
degli anni passati che abbia intenzione di sostenerlo.
Fateci comunque sapere via email.
Saluti,
Monica Nesi