Edición de «Final del 21/10/14 (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 101: | Línea 101: | ||
Con <math>g(a,b,c) = \left \{ \begin{matrix} suc(u^3_3(a,b,c)) \quad si \quad P \\ u^3_3(a,b,c) \quad si \quad \quad \neg P \end{matrix} | Con <math>g(a,b,c) = \left\{ \begin{matrix} suc(u^3_3(a,b,c)) \quad si \quad P \\ u^3_3(a,b,c) \quad si \quad \quad \neg P \end{matrix}</math> | ||
Línea 153: | Línea 153: | ||
Por lo tanto, <math>\tau(n) = f(n,n) \forall n \in \mathbb{N}</math> | Por lo tanto, <math>\tau(n) = f(n,n) \forall n \in \mathbb{N}</math> | ||
=Ejercicio 4= | =Ejercicio 4= |