algo1:2012-2
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
| algo1:2012-2 [2012/11/03 01:14] – gabriel | algo1:2012-2 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 60: | Línea 60: | ||
| * 25/10 Ej 9. Exp de ejercicio 10 | * 25/10 Ej 9. Exp de ejercicio 10 | ||
| * 30/10 **Practico 3**. Tecnicas para encontrar invariantes: | * 30/10 **Practico 3**. Tecnicas para encontrar invariantes: | ||
| - | * 1/11 Técnica de reemplazo cte. por variable. Ej 6 y 6.a). | + | * 1/11 Técnica de reemplazo cte. por variable. Ej 6 y 6.a). Pueden hacer hasta ej 8 |
| + | * 6/11 Técnica de predicados intermedios Ej 9 y 11.a) | ||
| + | * 8/11 Técnica de fortalecimiento de invariantes. Ej 12 | ||
| + | * 13/11 Problemas de Borde. | ||
| + | * 15/11 Problemas de Borde. | ||
| + | * 20/11 Problemas de asignación de arreglos. | ||
| + | * 22/11 Parcial | ||
| ===== Bibliografía ===== | ===== Bibliografía ===== | ||
algo1/2012-2.1351905263.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)