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 22: | Línea 22: | ||
<math>v(a) = min\{ | <math>v(a) = min\{(b),v(c)\}</math> si <math>a = b \quad \wedge \quad c</math> | ||
<math>v(a) = max\{ | <math>v(a) = max\{b),v(c)\}</math> si <math>a = b \quad \vee \quad c</math> | ||
Línea 172: | Línea 172: | ||
Si <math>f(x) = 0 \quad o \quad f(x) = 1 \quad \longleftrightarrow \quad \psi_p(x) \downarrow \quad \rightarrow \quad | Si <math>f(x) = 0 \quad o \quad f(x) = 1 \quad \longleftrightarrow \quad \psi_p(x) \downarrow \quad \rightarrow \quad Halt(x,x) \quad \vee \quad \neg Halt(x,x)</math> | ||