Diferencias

Muestra las diferencias entre dos versiones de la página.

--- algo1:2012-2 [2012/10/30 14:54] – damian
+++ 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
   * 30/10 **Practico 3**. Tecnicas para encontrar invariantes: termino de la conjunción. Ejercicios 1 y 2 en clase. Pueden hacer hasta el 4.
+  * 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 =====
@@ Línea 171: / Línea 178: @@
  * {{:algo1:2012-1:2012.c1.p4.pdf|Proyecto 4}}.
-/* {{:algo1:2012-1:2012.c1.p5.pdf|Proyecto 5}}. */
+ * {{:algo1:2012-1:2012.c1.p5.pdf|Proyecto 5}}.
 ==== Material ====