Diferencias

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

--- algo1:2012-2 [2012/10/11 14:54] – damian
+++ algo1:2012-2 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 36: / Línea 36: @@
     * 25/9 y 22/11
     * Recuperatorio 29/11
-===== Calendario tentativo =====
-  * 21/8 **Practico 1** (lógica). Expresiones cuantificadas (cuantificación generalizada).
-  * 23/8 Reglas generales para expresiones cuantificadas.
-  * 28/8 Pruebas por casos.
-  * 30/8 **Practico 2** (programación funcional). Demostración por inducción de propiedades. Esquemas de inducción (k-induccion, induccion generalizada). Inducción sobre listas.
-  * 4/9  Derivación de programas con recursión lineal.
-  * 6/9 Reempazo constantes por variables y modularización.
-  * //7/9 **Corrección Proyecto 1 lab**//.
-  * 11/9 Uso de tuplas. Inducción en dos parámetros.
-  * 13/9 Generalizacion por abstracción.
-  * 18/9 Segmentos.
-  * 20/9 Repaso.
-  * 25/9 Consulta y **Parcial**
-  * 27/9 **Práctico 3**. Modelo computacional imperativo.
-  * //28/9 **Corrección Proyecto 2 lab**//
-  * 2/10 Ternas de hoare.
-  * 4/10 Precondición más débil (weakest precondition).
-  * 9/10 Repetición (bucles). Teorema invariancia.
-  * 11/10 Derivacion de asignaciones. Especificacion y derivacion de ''if''.
-  * 16/10 Errores en programas imperativos. Demostración con invariantes.
-  * 18/10 Consulta de práctico
-  * //19/10 **Corrección Proyecto 3 lab**//
-  * 23/10 **Practico 4**. Búsqueda de invariantes. Término de la conjunción.
-  * 25/10 Remplazo de constante por variable. Heurística para derivar un programas.
-  * 30/10 Consulta. Técnica de predicados intermedios: Ej 9 y 10.
-  * 1/11 Problemas de borde.
-  * 6/11 Recursión final.
-  * 8/11 Recursión final
-  * //9/11 **Corrección Proyecto 4 lab**//
-  * 13/11 Repaso
-  * 15/11 **Parcial** imperativo
-  * 20/11 Update de arreglos. Repaso.
-  * 22/11 **Recuperatorios**
-  * //26/11 **Corrección Proyecto 5 lab**//
 ===== Bitácora =====
@@ Línea 88: / Línea 52: @@
   * 27/9 **Parcial**.
   * 2/10 Estuve enfermo
-  * 4/10 Modelo computacional imperativo. Hasta ej 2
+  * 4/10 **Practico 3** Modelo computacional imperativo. Hasta ej 2
   * 9/10 Terna de Hoare. Wp de skip, abort y asignacion. Hasta ejercicio 3.e)
   * 11/10 wp del if. Especificación y derivación. Hasta ejercicio 5.d
+  * 16/10 Teorema de la invariancia. Ej 5.e y f
+  * 18/10 Derivación de asignaciones y if (ej 6 y 7). Pueden hacer hasta el ejercicio 8.
+  * 23/10 Derivación mcd. Salte el ej 9 (arreglos)
+  * 25/10 Ej 9. Exp de ejercicio 10
+  * 30/10 **Practico 3**. Tecnicas para encontrar invariantes: termino de la conjunción. Ejercicios 1 y 2 en clase. Pueden hacer hasta el 4.
+  * 1/11  Técnica de reemplazo cte. por variable. Ej 6 y 6.a). Pueden hacer hasta ej 8
+  * 6/11  Técnica de predicados intermedios Ej 9 y 11.a)
+  * 8/11  Técnica de fortalecimiento de invariantes. Ej 12
+  * 13/11 Problemas de Borde.
+  * 15/11 Problemas de Borde.
+  * 20/11 Problemas de asignación de arreglos.
+  * 22/11 Parcial
 ===== Bibliografía =====
@@ Línea 145: / Línea 121: @@
   * {{:algo1:2012-2:practico3.pdf|Práctico 3}} - Introducción a la programación imperativa.
-/*  * {{:algo1:2012-1:practico4.pdf|Práctico 4}} - Programación imperativa. */
+  * {{:algo1:2012-2:practico4.pdf|Práctico 4}} - Programación imperativa.
+===== Calendario tentativo =====
+  * 21/8 **Practico 1** (lógica). Expresiones cuantificadas (cuantificación generalizada).
+  * 23/8 Reglas generales para expresiones cuantificadas.
+  * 28/8 Pruebas por casos.
+  * 30/8 **Practico 2** (programación funcional). Demostración por inducción de propiedades. Esquemas de inducción (k-induccion, induccion generalizada). Inducción sobre listas.
+  * 4/9  Derivación de programas con recursión lineal.
+  * 6/9 Reempazo constantes por variables y modularización.
+  * //7/9 **Corrección Proyecto 1 lab**//.
+  * 11/9 Uso de tuplas. Inducción en dos parámetros.
+  * 13/9 Generalizacion por abstracción.
+  * 18/9 Segmentos.
+  * 20/9 Repaso.
+  * 25/9 Consulta y **Parcial**
+  * 27/9 **Práctico 3**. Modelo computacional imperativo.
+  * //28/9 **Corrección Proyecto 2 lab**//
+  * 2/10 Ternas de hoare.
+  * 4/10 Precondición más débil (weakest precondition).
+  * 9/10 Repetición (bucles). Teorema invariancia.
+  * 11/10 Derivacion de asignaciones. Especificacion y derivacion de ''if''.
+  * 16/10 Errores en programas imperativos. Demostración con invariantes.
+  * 18/10 Consulta de práctico
+  * //19/10 **Corrección Proyecto 3 lab**//
+  * 23/10 **Practico 4**. Búsqueda de invariantes. Término de la conjunción.
+  * 25/10 Remplazo de constante por variable. Heurística para derivar un programas.
+  * 30/10 Consulta. Técnica de predicados intermedios: Ej 9 y 10.
+  * 1/11 Problemas de borde.
+  * 6/11 Recursión final.
+  * 8/11 Recursión final
+  * //9/11 **Corrección Proyecto 4 lab**//
+  * 13/11 Repaso
+  * 15/11 **Parcial** imperativo
+  * 20/11 Update de arreglos. Repaso.
+  * 22/11 **Recuperatorios**
+  * //26/11 **Corrección Proyecto 5 lab**//
 ===== Laboratorio =====
@@ Línea 163: / Línea 176: @@
  * {{: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}}. */
+ * {{:algo1:2012-1:2012.c1.p5.pdf|Proyecto 5}}.
 ==== Material ====
@@ Línea 179: / Línea 192: @@
    * [[http://cs.famaf.unc.edu.ar/~gabriel/algo1/clase2.pdf|Conceptos necesarios para el proyecto 2]]
    * [[http://cs.famaf.unc.edu.ar/~gabriel/algo1/clase3.pdf|Conceptos necesarios para el proyecto 3]]
+   * [[http://walter.alini.com.ar/algo1.clase5.html#slide1 |Conceptos necesarios para el proyecto 4]]
 ===== Información para Docentes =====