Edición de «Práctica 8: Funciones Primitivas Recursivas (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 56: | Línea 56: | ||
==Ejercicio 03== | ==Ejercicio 03== | ||
*1. | *1. fpx, 0q � px � 0qxpx � 0q, fpx, y1q � gpy, fpx, yq, xq, donde gpx1, x2, x3q � px3 � 0qpx3�x2qpx3 � 0q. | ||
*2. Definimos la funcion auxiliar | *2. Definimos la funcion auxiliar f1px, 0q � x, f1px, y 1q � gpy, f1px, yq, xq, donde gpx1, x2, x3q � xx23 . Ahora definimos fp0q � 0 y fpy 1q � f1py 1, y 1q. | ||
*a) | *a) |