MFI-Riscrittura (a.a. 2008-09)
Archivio E-Mail
Data: 8 maggio 2009
Subject: MFI (2) esercizi e altro
Salve,
vi segnalo che all'indirizzo
http://www.di.univaq.it/monica/didattica08-09.html
sono disponibili i seguenti file:
- NoteARS.pdf
(scansione della dispensa sui Sistemi di Riduzione Astratti,
che prima era disponibile solo in versione cartacea presso la copisteria
interna della facolta');
- EsUnif.pdf
contenente esercizi di unificazione sintattica
(alcuni sono stati svolti in classe durante l'ultima lezione frontale);
- EsCC-WCR.pdf
contenente il calcolo di alcune coppie critiche e
l'applicazione del Lemma di Huet.
A questo punto dovreste essere in grado di svolgere gli esercizi
C4, C10, C11, C13 e C17 della
collezione di
esercizi.
Ovviamente fatemi sapere di eventuali errori e/o imprecisioni.
Infine, se un certo numero di voi e' interessato ad un primo incontro
per un ricevimento sugli argomenti visti finora, possiamo provare a
vederci un giorno della prossima settimana *eccetto mercoledi' 13/05*.
Al momento io abito a Pisa e mi tornerebbe molto piu' comodo trovarci a
L'Aquila, anche perche' dovrei fare delle commissioni a L'Aquila
nello stesso giorno. Non so se voi state seguendo alcuni corsi a Corropoli
e quante possibilita' ci sono con pochi giorni di preavviso di prenotare
uno spazio in una tenda presso la facolta' a Coppito per fare ricevimento.
Sono tre settimane che non torno a L'Aquila e non ho il polso della
situazione logistica della facolta'. Sono disposta anche ad incontrarci
in uno spazio diverso, ma possibilmente a L'Aquila.
Fatemi sapere circa il vostro interesse (non so quanti di voi stiano
studiando MFI in questo periodo), le vostre possibilita' di spostamento
e le preferenze circa il giorno dell'incontro.
A presto,
Monica Nesi