Edición de «Final del 13/11/18 (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 28: | Línea 28: | ||
Es fácil de demostrar escribiendo un programa que compute f, como por ejemplo el siguiente programa Q: | Es fácil de demostrar escribiendo un programa que compute f, como por ejemplo el siguiente programa Q: | ||
[A] IF P(X<sub>1</sub>, ..., X<sub>n-1</sub>, Z) = 1 goto [B] | [A] IF P((X<sub>1</sub>, ..., X<sub>n-1</sub>, Z) = 1 goto [B] | ||
<math> Z\leftarrow Z + 1</math> | <math> Z\leftarrow Z + 1</math> | ||
goto [A] | goto [A] |