Diferencias

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

--- algo1:2016-2 [2016/11/22 18:07] – francolq
+++ algo1:2016-2 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 6: / Línea 6: @@
-[[http://www.famaf.proed.unc.edu.ar/course/view.php?id=260|Aula Virtual]] (recuerde inscribirse).
+[[http://www.famaf.proed.unc.edu.ar/course/view.php?id=295|Aula Virtual]] (recuerden inscribirse).
@@ Línea 74: / Línea 74: @@
   * [[http://www.cs.famaf.unc.edu.ar/~damian/calcprog|"Borrador" del libro de la materia]]
-  * {{:algo1:clases_teoricas_2014-2.pdf|Notas de clase (por Marianela Morales, 2014)}}
+  * Notas de clase:
+    * {{:algo1:clases_teoricas_2014-2.pdf|Programación funcional (Marianela Morales, 2014)}}
+    * {{:algo1:clases_teoricas_2016-2.pdf|Programación imperativa (Lucía González, 2016)}}
 Programación funcional:
@@ Línea 105: / Línea 107: @@
   * {{:algo1:2016-2:practico5.pdf|Práctico 5: Programación Imperativa}}
-/*
-===== Parciales, recuperatorios y finales =====
- Acá pondremos los exámenes.
+===== Parciales y Recuperatorios =====
-*/
+  * {{:algo1:2016-2:2016c2par1.pdf|1er parcial}}
+  * {{: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)
 ===== Laboratorio =====
@@ Línea 189: / Línea 194: @@
   * 20/10: Demostración completa de un programa.
   * 25/10: Introducción a la derivación de programas. Derivación de asignaciones.
-/*
   * 27/10: Derivación de condicionales. Derivación de ciclos. Técnicas para determinar invariantes: Tomar términos de una conjunción (ejemplo: algoritmo de la división).
-  * 1/11: Técnicas para determinar invariantes: Reemplazo de constantes por variables.
+  * 1/11: Técnicas para determinar invariantes:
-  * 3/11:
+    * Tomar términos de una conjunción (ejemplo: búsqueda lineal).
-  * 8/11:
+    * Reemplazo de constantes por variables (ejemplo: suma de arreglo, exponenciación).
-  * 10/11:
+  * 3/11: Fortalecimiento de invariantes (ejemplo: ''sumant'').
+  * 8/11: Problemas de borde al fortalecer invariantes (ejemplos: segmento de suma máxima, máxima distancia entre elementos).
-Meter:
+  * 10/11: Estados intermedios (ejemplo: varianza).
-- Fortalecimiento de invariantes.
-- Predicados intermedios (derivación de composiciones).
-- Problemas de bordes.
-- Búsqueda.
-- Ejemplos:
   * 15/11: 2do parcial.
   * 17/11: Consulta.
   * 22/11: Consulta.
-  * 24/11: Recuperatorio.
+  * 24/11: Recuperatorios.
-*/