Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
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 1: |
Línea 1: |
|
| |
|
| == Ejercicio 1 == | | == Ejercicio 1 == |
| '''(AED2):''' eran tres items sobre arreglar operaciones tipo tad
| | (AED2) eran tres items sobre arreglar operaciones tipo tad |
| | |
| '''(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 == |