Teoria delle categorie in informatica

Responsabile didattico: Marino Miculan

Durata: 16 ore

Periodo didattico: aprile-giugno

Programma

La teoria delle categorie ha grande importanza in Informatica perché permette di ragionare sulle strutture, astraendo da dettagli implementativi. In questo corso si mira a dare le basi di tali applicazioni, in particolare riguardo le connessioni con la semantica dei linguaggi di programmazione  e con la logica di programmazione.


Programma di massima

Richiami di categorie. Teoria di Lower.

Semantica dei linguaggi di programmazione.

Approccio monodico alla semantica dei linguaggi.

Logica categoriale.


Elenco corsi 2007/2008