Foundation Of Computing – prof. Filippo Bonchi

• Ulteriore materiale didattico verrà fornito dal professore sulla pagina del corso.

Argomenti del programma: Il corso introduce i seguenti concetti categoriali - Categorie, Funtori e Trasformazioni Naturali - Limiti e Colimiti - Coalgebre come sistemi a scatola nera - Algebre come strutture - Monadi, Non Determinismo e Probabilità - Leggi Distributive - Categorie monoidali e string diagram L'introduzione di tali concetti viene motivata con svariati argomenti che gli studenti possono scegliere: - sistemi dinamici lineari:…