Diferencias

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

--- algo1:2015-1 [2015/04/27 21:20] – [Bitácora] damian
+++ algo1:2015-1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 29: / Línea 29: @@
-===== Novedades =====
-  * 2015/02/18: Página publicada!
 ===== Regularidad / Promoción =====
@@ Línea 54: / Línea 51: @@
   * {{:algo1:2014-2:listas.pdf|Digesto}} de funciones de listas y propiedades.
   * {{:algo1:2014-2:ejemplo_parcial1.pdf|Ejemplo de 1er parcial.}}
-  * {{:algo1:2014-2:ejemplo_parcial2.pdf|Ejemplo de 2do parcial.}}
 Programación imperativa:
   * {{:algo1:2015-1:imperativo.pdf|Digesto}} para la programación imperativa.
+  * {{:algo1:2014-2:ejemplo_parcial2.pdf|Ejemplo de 2do parcial.}}
 /*
@@ Línea 78: / Línea 76: @@
   * {{:algo1:2015-1:practico3.pdf|Práctico 3}} - Introducción a la programación imperativa.
-/*
+  * {{:algo1:2015-1:practico4.pdf| Práctico 4}} - Programación imperativa.
-  * {{:algo1:2014-1:practico4.pdf|Práctico 4}} - Programación imperativa.
-*/
 ===== Parciales (y Recuperatorios) =====
-Acá pondremos las notas de los parciales.
+  * {{:algo1:2015-1:algoritmos_i_2015_primer_cuatrimestre_-_teorico.pdf|Notas primer parcial}}.
+  * {{:algo1:2015-1:algoritmos_i_2015_primer_cuatrimestre_-_teorico-3.pdf|Notas segundo parcial}}.
+  * {{:algo1:2015-1:algoritmos_i_2015_primer_cuatrimestre_-_teorico-6.pdf|Notas recuperatorio}}.
+  * {{:algo1:algoritmos_i_2015_primer_cuatrimestre_-_acta_reg..pdf|Condición Final}}.
+  * {{:algo1:2015-1:algoritmos_i_2015_primer_cuatrimestre_-_final_1.pdf|Final 1}}.
+  * {{:algo1:2015-1:algoritmos_i_2015_primer_cuatrimestre_-_final_3.pdf|Final 3}}.
 ===== Laboratorio =====
@@ Línea 188: / Línea 188: @@
   * 23/4 Bucles (final ejercicio 1 y 2). Predicados y anotaciones de programas (ej 3). Terna de Hoare y corrección (ej 4 y 5). Wp de skip, abort, composición y asignación (hasta ejercicio 6.e).
   * 27/4 Wp if. Hasta ejercicio 7.d)
+  * 30/4 Teorema de invariancia. Hasta ejercicio 7.
+  * 4/5 Derivación de asignaciones y if (ej 8 y 9).
+  * 7/5 Derivación con invariante dado (ej 12)
+  * 11/5 Algorítmo de la división. Modelo computacional con arreglos (ej 13 en adelante).
+  * 14/5 **Practico 4**. Tecnicas para encontrar invariantes: termino de la conjunción. Ejercicios 1 y 2.
+  * 18/5 Técnica de reemplazo cte. por variable. Ej 3 a 6. Para la casa especificar ej 7 y 10.
+  * 21/5 Técnica de fortalecimiento de invariantes. Técnica de predicados intermedios (solo un ej).
+  * 25/4 Feriado.
+  * 28/4 Semana de Mayo.
+  * 1/6 Repaso de predicados intermedios. Técnica de fortalecimiento de guarda.
 /*
-  * 21/4 **Practico 3** Modelo computacional imperativo. Hasta ej 2. Terna de Hoare: principio de capítulo 16 del libro.
+  * 26/5 Consulta. Ej 12
-  * 24/4 Terna de Hoare. Weakest Precondition. Wp de asignacion. wp del if. Hasta ejercicio 4.
-  * 28/4 ej 5 con wp del if. Teorema de invariancia. Hasta ejercicio 5. En casa ejercicios 8 y 9
-  *  1/5 Feriado
-  *  5/5 Derivación de asignaciones y if (ej 7). Pueden hacer hasta el ejercicio 9.
-  *  8/5 Derivación algoritmo de la division (javi)(proximo práctico) y mcd.
-  * 12/5 Arreglos ej 11. Ej 10. Exp de ejercicio.
-  * 15/5 **Practico 4**. Tecnicas para encontrar invariantes: termino de la conjunción. Ejercicios 1 y 2 en clase. Pueden hacer hasta el 4.
-  * 19/5 Técnica de reemplazo cte. por variable. Ej 5 Ej 6 y 6.a). Pueden hacer hasta ej 8.
-  * 22/5 Técnica de predicados intermedios Ej 9 y 10. Pueden hacer hasta el 11.
-  * 26/5 Consulta. Técnica de fortalecimiento de invariantes. Ej 12
   * 29/5 Consulta. Problemas de Borde.
   *  2/6 Problemas de Borde.
 */