1. No category

MatemáticaDiscreta&Lógica
1
Recursión.
Aylen Ricca
Tecnólogo en Informática
•
San José 2014
•
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
Estas diapositivas fueron tomadas del curso de Lógica de
Facultad de Ingeniería.
https://www.fing.edu.uy/inco/cursos/logica/teorico.php
https://eva.fing.edu.uy/course/view.php?id=394
Recursión.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
1
¿Qué es una función?
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
2
Recursión.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
3
Es fácil definir No Funciones.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
4
Esquema de Recursión Primitiva para N.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
5
Aplicación del Esquema de Recursión.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
6
Esquema de Recursión Primitiva para un Conjunto Inductivo.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
7
Esquema de Recursión Primitiva para Σ*.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
8
Esquema de Recursión Primitiva para L1.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
•
9
Esquema de Recursión Primitiva para N -Formalización-
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 10
Esquema de Recursión Primitiva para N -Formalización-
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 11
Otros Esquemas de Recursión.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 12
Ejemplo de Recursión no Primitiva en N.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 13
Ejemplo de Recursión no Primitiva en N.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 14
Ejemplo de Recursión no Primitiva en N.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 15
Definición inductiva de NxN.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 16
Esquema de Recursión Primitiva para NxN.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 17
Ejemplos de Recursión no Primitiva en NxN.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 18
Definiciones Inductivas Libres.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 19
Definiciones Inductivas Libres.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 20
Definiciones no Libres: moraleja.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 21
Definiciones Recursivas: moraleja.
Tecnólogo en Informática
•
San José 2014 •
http://www.fing.edu.uy/tecnoinf/sanjose/index.html
• 22