Diferencias

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

--- algo1:2019-1 [2019/05/20 12:55] – [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 143: / Línea 137: @@
 ^ Proyecto 3| {{http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy3_2019.pdf|Proyecto 3}} |[[https://docs.google.com/presentation/d/114itNZPAAtXG0_8avrz9j5enHamy-6nfIn8mROo2blQ/edit?usp=sharing|Moldelo Computacional]]|  20/05|
 ^ ::: | ::: | [[https://docs.google.com/presentation/d/1HCyDerNvBff_2PfKvsj7JXJSW8oAJ-53EEnkcb-X1Pw/edit?usp=sharing|Intoducción al Lenguaje C]] | ::: |
-^ Proyecto 4  | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4_2019.pdf|Proyecto 4]] |  |  10/06|
+^ Proyecto 4  | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4_2019.pdf|Proyecto 4]] |   |10/06|
 ^ ::: | ::: | [[https://docs.google.com/presentation/d/1X95n3wuOyGzji8VZWUv6_8o1cE0FP-3iD64CmqApIN4/edit?usp=sharing|Teórico sobre C: Assert, Funciones y Estructuras]] | ::: |
 ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/funciones_en_c.c|Ejemplo de funciones en C]] | ::: |
- |
 ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/arreglo.c|Código Arreglo]] | ::: |
 ^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/inicializar.c|Ejemplo de inicialización de arreglos]] | ::: |
-^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_struct.html|Teórico de Estructuras]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/struct_ejemplo.c|Ejemplo de uso de Struct]] | ::: |
-^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/struct_ejemplo.c|Struct]] | ::: |
 /*
 */
@@ Línea 239: / 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
 /*