Lógica de Hoare para programación funcional
Plática dada por Gilberto Isaac López García (Facultad de Ciencias de la UNAM) en el Primer Encuentro de Computación Teórica el viernes 7 de diciembre del 2018 en el Anfiteatro Alfredo Barrera del conjunto Amoxcalli, Facultad de Ciencias de la UNAM.
Video proporcionado por Ciencias TV
Video en Facebook
Video en Youtube
https://youtu.be/1i49MN6bla0
Resumen:
La Lógica de Hoare tradicional nos permite razonar sobre programas imperativos de manera formal y flexible. Es más fácil razonar sobre programas funcionales por ser funciones en el sentido matématico, por lo que es de interés tener un sistema formal que permita dar especificaciones y pruebas de corrección a programas funcionales. Aquí se revisará una Lógica de Hoare para un pequeño lenguaje funcional, que permita proponer y demostrar propiedades sobre programas.
Pagina del Primer Encuentro de Computación Teórica
https://sites.google.com/ciencias.unam.mx/papime102117/encuentro
Agradecemos el apoyo de:
universo.math
http://universo.math.org.mx/
https://www.facebook.com/universo.math
Departamento de Matemáticas del CINVESTAV
http://www.math.cinvestav.mx/
Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/
Sociedad Matemática Mexicana
https://www.facebook.com/SociedadMatematicaMexicana/
La banda que coopero en la vaquita para reponer el equipo que nos robaron en noviembre del 2017
https://www.facebook.com/Ciencias.TV/videos/426024461479542/
Siguenos en:
Página de Facebook de Ciencias TV:
https://www.facebook.com/Ciencias.TV
Página web:
http://cienciastv.org.mx
Ciencias TV – Matemáticas
https://www.facebook.com/Ciencias-TV-Matem%C3%A1ticas-106574140723552/
Ciencias TV – Física
https://www.facebook.com/Ciencias-TV-F%C3%ADsica-115341676509427/
Ciencias TV – Biología y Ambiente
https://www.facebook.com/Ciencias-TV-Biolog%C3%ADa-y-Ambiente-111565396888097/
Telegram:
t.me/cienciastv
@cienciastv
Twitter:
@Ciencias_TV
Instagram:
@ciencias.tv
Youtube
https://www.youtube.com/channel/UCAvg7yOE4-25TPDUeKFUztA
Lista de reproducción con los videos que hemos publicado:
https://www.youtube.com/playlist?list=PLiD-IJzweXR9CMW8piN4Pf1HjgSiGjLyi