Inducción y Recursión

Plática dada por Favio Ezequiel Miranda Perea (Facultad de Ciencias de la UNAM) en el Gemas de la Teórica, el martes 21 de agosto del 2018 en el Aula Leonila Vázquez del Amoxcalli en la Facultad de Ciencias de la UNAM.

Video proporcionado por Ciencias TV

Video en Youtube:
https://youtu.be/n8eRJK1AGpU

Resumen:
El objetivo de este taller es presentar mediante ejemplos distintos principios de recursión e inducción que no se suelen discutir en los cursos usuales. Por ejemplo, recursión simultanea o entrelazada, recursión por curso de valores, definiciones inductivas por reglas, etc. y sus respectivos principios de inducción.

Fotos de miniatura y cartel de la plática
https://photos.app.goo.gl/TwBCr3EUU86Fch2B8

Página del evento Gemas de la Computación Teórica
https://sites.google.com/ciencias.unam.mx/gemasct/inicio?authuser=0

Favio Ezequiel Miranda Perea en:

Facultad de Ciencias de la UNAM
http://lya.fciencias.unam.mx/favio/

Agradecemos a:

Fedro Guillen, Erick Tovar, Luis Ramos, Emilio Estevez, Roberto Gómez y Efraín Vega quienes grabaron y publicaron las charlas

Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/

universo.math
http://universo.math.org.mx/
https://www.facebook.com/universo.math