Inducción y Recursión (2 de 2)
Plática dada por Favio Ezequiel Miranda Perea (Facultad de Ciencias de la UNAM) en el evento Gemas de la Computación Teórica, el jueves 23 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/8AQ2Ve8Av_Q
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