Edición de «Final 05/03/24 (Algoritmos II)»
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 4: | Línea 4: | ||
'''(AYED):''' Weakest Precondition e Invariante | '''(AYED):''' Weakest Precondition e Invariante | ||
a. Como se computa la weakest precondition de un ciclo? | |||
b. Por que es necesario introducir el invariante de ciclo para algunos casos? | |||
c. Por que es necesario que la tripla de hoare {I&B} S {I} sea valida? | |||
d. De un ejemplo donde se puede probar {I&B} S {I} pero no {I} S {I} | |||
== Ejercicio 2 == | == Ejercicio 2 == |