Programando con demostraciones el cubo lambda
Plática dada por Lourdes del Carmen González Huesca (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/CRb7mBgx_io
Resúmen:
En esta plática revisaremos la correspondencia Curry-Howard como piedra angular de la verificación formal en los asistentes de prueba.
Pagina del Primer Encuentro de Computación Teórica
https://sites.google.com/ciencias.unam.mx/papime102117/encuentro
Lourdes del Carmen González Huesca en:
Facultad de Ciencias de la UNAM:
http://www.fciencias.unam.mx/directorio/54026
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