Diferencias

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

--- algo1:2019-1 [2019/05/20 21:51] – [Prácticos] damian
+++ algo1:2019-1 [2019/08/07 15:25] (actual) – [Notas de parciales, recuperatorios y finales] damian
@@ Línea 62: / Línea 62: @@
-===== Notas de parciales y recuperatorios =====
+===== Notas de parciales, recuperatorios y finales =====
-  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_teorico.pdf |1er parcial}}
+  * {{:algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_teorico.pdf |1er parcial}}
+  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_teorico_-_parciales.pdf |2do parcial y promoción}}
+  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_final_1.pdf |Final 1/7}}
+  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_final_2.pdf | Final 23/7}}
+  * {{ :algo1:2019-1:algoritmos_i_2019_primer_cuatrimestre_-_final_3.pdf |Final 6/8}}
 /*
-  * {{:algo1:2016-2:2016c2par2.pdf|2do parcial}}
   * {{:algo1:2016-2:2016c2recup1.pdf|Recuperatorio 1er parcial}} (con solución ej. 3)
   * {{:algo1:2016-2:2016c2recup2.pdf|Recuperatorio 2do parcial}} (con solución ej. 3)
@@ Línea 230: / Línea 231: @@
   * 7/5 Terna de Hoare. Weakest Precondition (asignación, composición secuencial). Weakest Precondition (if).
   * 9/5 Revision if. Teorema de invariancia
-  * 15/5 Ejercicos de demostración con invariantes. Derivación de asignación
+  * 14/5 Ejercicos de demostración con invariantes. Derivación de asignación
+  * 16/5 Arreglos. /* Derivación con invariantes.*/
+  * 21/5 **Practico 4**. Tecnicas para encontrar invariantes: termino de la conjunción.
+  * 23/5 Técnica de reemplazo cte. por variable.
+  * 28/5 Técnica de fortalecimiento de invariantes.
+  * 30/5 Problemas de Borde.
+  *  4/6 Consulta
 /*