Edición de «Práctica 3 (LyC Verano)»
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 560: | Línea 560: | ||
<br> A = {x: (<math>\exists</math> t) STP<sup>(1)</sup>(x,e,t)}, y se sabe que STP es un predicado PR | <br> A = {x: (<math>\exists</math> t) STP<sup>(1)</sup>(x,e,t)}, y se sabe que STP es un predicado PR | ||
<br> <=) Sea | <br> <=) Sea J(x) el predicado PR: (<math>\exists</math> y) P(x,y), y el siguiente programa P: | ||
<pre> | <pre> | ||
[A] IF J(Z)=1 GOTO F | [A] IF J(Z)=1 GOTO F |