Diferencias

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

--- algo1:2015-1 [2015/05/05 22:15] – [Parciales (y Recuperatorios)] 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) =====
   * {{: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 190: / Línea 190: @@
   * 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.
 /*
-  *  8/5 Derivación algoritmo de la division (javi)(proximo práctico) y mcd.
+  * 26/5 Consulta. Ej 12
-  * 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.
 */