Coálgebras, coinducción y computación, una charla introductoria (Enrique Ruiz)

Ciencias TVJue, enero 19, 2017 3:52amURL:
Embed:

Coálgebras, coinducción y computación, una charla introductoria

Plática dada por Enrique Ruiz (Facultad de Ciencias de la UNAM) en el Coloquio de Categorías, Álgebra y temas afines el míercoles 18 de enero del 2017 en el Instituto de Matemáticas de la UNAM

Resumen:
Algunas estructuras de datos, como las listas finitas, los árboles, pueden modelarse como estructuras algebraicas; sin embargo, otras estrucutras que involucran espacios de datos infinitos no pueden modelarse satisfactoriamente desde una perspectiva algebraico, pero sí de manera coalgebraica. Veremos ejemplos de coálgebras que modelan estructuras de datos y la razón de por qué la coinducción es llamada así.

Video de la plática
https://youtu.be/wqdoQeWM24g

Foto de miniatura del video
https://goo.gl/photos/wivCY4VxkFVAidUc7

Cartel del Coloquio de Categorías, Álgebra y temas afines
https://goo.gl/photos/DTvMUMxnqq7kq7QE7

Página del Coloquio de Categorías, Álgebra y temas afines
http://cinvcat.org.mx/coloquio.html

Programa del Coloquio de Categorías, Álgebra y temas afines
http://cinvcat.org.mx/pdfs/programa-carta.pdf

Otras pláticas del Coloquio de Categorías, Álgebra y temas afines
https://www.youtube.com/playlist?list=PLrg-5oUhFeiqhaSj_AXr9vX1w7i–vWxY

Página de Enrique Ruiz en la Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/directorio/53962

Pláticas de matemáticas en Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR8iyKKoKUGpAzF8rLWIu4A4

Página de facebook del Ciencias TV
https://www.facebook.com/Ciencias-TV-170487220017476

Videos Académicos publicados por Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR9CMW8piN4Pf1HjgSiGjLyi

Album de fotos de miniatura y carteles de los videos Académicos publicados por Ciencias TV
https://goo.gl/photos/EXEAiLUiLjKrHTeX9

Agradecemos el apoyo de