Diferencias

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

--- algo1:2019-1 [2019/05/20 16:34] – [Material de laboratorio] martin
+++ 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 96: / Línea 97: @@
   * {{ :algo1:2019-1:imperativo.pdf |Digesto}} para la programación imperativa.
+  * {{ :algo1:2019-1:pasos_bucle.pdf |Pasos Sugeridos para Derivar un Bucle}} (heurística).
 /*
@@ Línea 121: / Línea 123: @@
   * {{ :algo1:2019-1:practico2.pdf |Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales}}
   * {{ :algo1:2019-1:practico3.pdf |Práctico 3: Introducción a la Programación Imperativa}}
+  * {{ :algo1:2019-1:practico4.pdf |Práctico 4: Cálculo de Programas Imperativos}}
-/*
-  * {{:algo1:2017-2:practico4.pdf|Práctico 4: Introducción al Cálculo de Programas Imperativos}}
-*/
@@ Línea 237: / 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
 /*