DISI Laurea in Informatica

Corso di Informatica Teorica (Vecchio Ordinamento)


Prerequisiti

MFI, e di conseguenza anche LM ed LP.

Obiettivi

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.

Modalita' degli esami

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.

Programma

Testi di Riferimento

Molto del materiale e' reperibile in rete a partire dalle seguenti URL