Diferencias

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

--- algo1:2012-1 [2012/05/24 12:33] – damian
+++ algo1:2012-1 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 83: / Línea 83: @@
   * 22/5 Ej 11.b.a
   * 24/5 Ej 11.b.b. Se podría haber comenzado el practico 4.
-  * 29/5 **Practico 4**.
+  * 29/5 **Practico 4**. Término de la conjunción. Dado ej 1. Pueden hacer hasta el 4.
-----
+  * 31/5 Remplazo de constante por variable. Dado ejercicio 5. Dado pasos heurísticos para derivar un programa. Pueden hacer hasta el 8.
+  * 5/6 Ej 5 y 6 como cuantificación generalizada. Ej 7 (minimo definido). Tecnica de predicados intermedios: Ej 9 y 10.
+  * 7/6 Ej de suma de los anteriores igual al elemento y de máxima diferencia de elementos.
+  * 12/6 Repaso
   * 14/6 Parcial Imperativo
+  * 19/6 Update de arreglos: ej 20. Repaso.
   * 21/6 Recuperatorios
@@ Línea 139: / Línea 142: @@
   * {{:algo1:2012-1:practico2.pdf|Práctico 2}} - Especificación derivación y verificación de programas funcionales.
   * {{:algo1:2012-1:practico3.pdf|Práctico 3}} - Introducción a la programación imperativa
+  * {{:algo1:2012-1:practico4.pdf|Práctico 4}} - Programación imperativa
 ===== Laboratorio =====
@@ Línea 150: / Línea 154: @@
 ==== Proyectos ====
- * {{:algo1:2012-1:2012.c1.p1.pdf|Proyecto 1}}
+ * {{:algo1:2012-1:2012.c1.p1.pdf|Proyecto 1}}.
+ * {{:algo1:2012-1:2012.c1.p2.pdf|Proyecto 2}}.
- * {{:algo1:2012-1:2012.c1.p2.pdf|Proyecto 2}}
+ * {{:algo1:2012-1:2012.c1.p3.pdf|Proyecto 3}} y los {{:algo1:2012-1:proy3_archivos.tar.gz|Archivos necesarios}}.
- * {{:algo1:2012-1:2012.c1.p3.pdf|Proyecto 3}} y los {{:algo1:2012-1:proy3_archivos.tar.gz|Archivos necesarios}}
+ * {{:algo1:2012-1:2012.c1.p4.pdf|Proyecto 4}}.
- * {{:algo1:2012-1:2012.c1.p4.pdf|Proyecto 4}}
+ * {{:algo1:2012-1:2012.c1.p5.pdf|Proyecto 5}}.
 ==== Material ====