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/06 11:45] – damian | algo1:2012-2 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 61: | Línea 61: | ||
| * 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). Pueden hacer hasta ej 8 | * 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) | + | * 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.1352213103.txt.gz · Última modificación: (editor externo)