24 dj, 12:30 hs, Aula 1.1.
Facultat de Matemàtiques.
Resumen
La coàlgebra universal és una teoria matemàtica utilitzada per a la modelització de sistemes. En aquesta xarrada introduirem les nocions bàsiques de coàlgebra, morfisme entre coàlgebres i bisimulacions així com les seues propietats més importants. Durant l’exposició utilitzarem aquests conceptes per a un estudi més general de la teoria d’autòmats i mostrarem els avantatges que ens aporta aquesta nova visió.
Enllaç al beamer de la presentació:
Beamer