Anual Mensual Semanal Hoy Buscar Ir al mes específico
Sobre definiciones (co)inductivas no monótonas
Jueves 24 Septiembre 2015, 05:00pm
Accesos : 118

Fecha: 24 de Septiembre, 2015. 5pm.

 

Expositor: Favio E. Miranda Perea (Fac. de Ciencias, UNAM-DF)

 

Actividad: Coloquio Oaxaqueño del Instituto de Matemáticas de la UNAM.

 

Lugar: Instituto de Matemáticas Unidad Oaxaca.

 

Resumen:

 

Dado un operador F: L --> L, donde L es una latiz completa, se garantiza la existencia de  puntos fijos de F, sólo cuando dicho operador es monótono. El mínimo o máximo punto fijo de un operador monótono es suficiente para dar significado matemático a la gran mayoría de las definiciones (co)inductivas surgidas informalmente, por ejemplo, en el ámbito de las ciencias de la computación. Sin embargo, existen definiciones empleadas en la práctica que no corresponden a un operador monótono. 

 

El objetivo de esta charla es discutir algunas maneras de dar significado a esta clase de definiciones mediante la monotonización de un operador, enfocándonos en las propiedades de este concepto así como en los principios de (co)inducción subyacentes.

 

Go to top