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 137: | Línea 137: | ||
==Ejercicio 06== | ==Ejercicio 06== | ||
*1. | *1. | ||
fpx1, . . . , xn, 0q � gpx1, . . . , xn, 0q fpx1, . . . , xn, y 1q � pgpx1, . . . , xn, y 1q fpx1, . . . , xn, yqqfpx1, . . . , xn, yq pgpx1, . . . , xn, y 1q ¥ fpx1, . . . , xn, yqqgpx1, . . . , xn, y 1q | |||
*2. | *2. | ||
fpx1, . . . , xn, yq � pbpyq ¤ tpyqqp max 0¤i¤tpyq rpbpyq ¤ iqgpx1, . . . , xn, yqsq | |||
==Ejercicio 07== | ==Ejercicio 07== |