Laurea in Informatica
Corso di Informatica Teorica (Vecchio Ordinamento)
MFI, e di conseguenza anche LM ed LP.
Il corso di Informatica Teorica e' un corso contenitore i cui
argomenti possono variare considerevolmente di anno in anno.
In questo A.A. l'argomento del corso sara' calcoli e formalismi
per la mobilita'.
Sara' possibile adattare in parte gli argomenti su richiesta degli
studenti.
Il notevole interesse per le problematiche connesse ai sistemi
distribuiti, ad internet ed al global computing, hanno
favorito negli ultimi anni un fiorire di formalismi per descrivere
vari aspetti legati a tali problematiche.
Il corso intende dare una panoramica su alcuni di tali formalismi
(semantica operazionale, equivalenze osservazionali, sistemi di tipi e
logiche), in particolare pi-calculus e ambient calculus, ed
esemplificare il loro utilizzo.
La valutazione si basera' sia su un seminario tenuto dallo studente
durante il corso, che di un esame orale.
Le modalita' di esame potrebbero essere riviste in base al numero di
studenti che inseriranno il corso nel piano di studio.
Molto del materiale e' reperibile in rete a partire dalle seguenti URL