FOC - Foundation of Computing

Docente

Ugo Montanari


Orario Lezioni/Timetable Anno Accademico 2017-2018

TBA



Prima Lezione


TBA

Gli interessati sono invitati a partecipare in vista di possibili cambiamenti di orario.



Finalità del Corso

Verranno presentate alcune proprietà fondamentali dei modelli di calcolo, come la semantica operazionale ed astratta, la struttura dei tipi, l'ordine superiore, la concorrenza, l'interazione. Verranno utilizzate la semantica algebrica ed alcuni elementi della teoria delle categorie, ma non vi sono prerequisiti eccetto una conoscenza elementare dell'algebra e della logica.


Course Overview

Some basic properties of models of computation are studied, like operational and abstract semantics, typing, higher order, concurrency, interaction. Algebraic semantics and elementary category theory are employed, but no prerequisites are required except for some elementary knowledge of logic and algebra. 


Programma del Corso


Course Program


Libro di Testo/Textbook

John Mitchell, "Foundations for Programming Languages", MIT Press, 1996. Capitoli: 2.5,4,5,7.2,9,10,11.


Orario Recupero/Additional Lectures

TBA.


Note Manoscritte/Handwritten Course Notes

Lambda Calcolo: http://www.di.unipi.it/~ugo/1.lambda.pdf.

Tipi Ricorsivi, Adeguatezza Computazionale e Tipi Polimorfi/Recursive Types, Computational Adequacy and Polymorphic Types: http://www.di.unipi.it/~ugo/2.types.pdf.

Teoria della Concorrenza/Theory of Concurrency: http://www.di.unipi.it/~ugo/3.conc.pdf

CCS, Calculus for Communicating Systems: http://www.di.unipi.it/~ugo/4.CCS.pdf

Pi-calculus: http://www.di.unipi.it/~ugo/5.picalcolo.pdf


Capitolo di Libro/Textbook chapter

Roberto Bruni and Ugo Montanari, Costruzioni per la Semantica Operazionale della Concorrenza : vedi http://www.di.unipi.it/~ugo/costruzioni.pdf.


Modalità d'Esame/Exam Format

The student can choose between two kinds of assessment. 

Last modified: 11–Oct-17

E_mail: ugo@di.unipi.it