Diferencias

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

--- algo1:2018-1 [2018/03/26 20:28] – [Material de laboratorio] martin
+++ algo1:2018-1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 137: / Línea 137: @@
 ^ Proyecto 1 | {{:algo1:2017.c2.proy1.pdf| Proyecto 1}} | [[http://aprendehaskell.es/main.html|Aprende Haskell por el bien de todos! (cap. 1 al 6)]] |  9/4|
 ^ ::: |  {{:algo1:proy1-estrella-2017.c2.pdf|ej-estrella.pdf}} | {{https://docs.google.com/presentation/d/1U2OyJe_rN31UA8xx6geh9wvfJeRWBzjO26IrjN8UBFQ/edit?usp=sharing|Tipos: polimorfismo y alto orden}} | ::: |
-^ Proyecto 2 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy2_2018_1.pdf|Proyecto 2]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_2_ejemplo_tipos.hs|Ejemplos  tipos de datos (archivo .hs)]] |  30/4|
+^ Proyecto 2 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy2_2018_1.pdf|Proyecto 2]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_2_ejemplo_tipos.hs|Ejemplos  tipos de datos (archivo .hs)]] |  7/5|
 ^ ::: | ::: |[[https://docs.google.com/presentation/d/15dhZOodeKXUirtK9Lf2Nwy1AgMdovnVdm5CenyGnFiY/edit?usp=sharing|Tipos de datos en Haskell]] | ::: |
 ^ ::: | ::: |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proyecto_2_CLASE_1.html|Tipos de datos, deriving, case, Maybe]] | ::: |
@@ Línea 211: / Línea 211: @@
   *9/4: Corrección de proyecto 1. Presentación de proyecto 2.
   *16/4: Teórico de Taller: Tipos de datos, deriving, case, Maybe.
-  *23/4: Trabajo sobre proyecto 2
+  *23/4: Trabajo sobre proyecto 2 - Presentación de proyecto 3.
-  *30/4: Corrección de proyecto 2. Presentación de proyecto 3.
+  *30/4: FERIADO.
-  *7/5: Teórico: uso de Hal.
+  *7/5: Teórico: uso de Hal - Corrección de proyecto 2.
   *14/5: Teórico: semántica de programas imperativos.
   *21/5: Corrección de proyecto 3. Presentación de proyecto 4
@@ Línea 227: / Línea 227: @@
   * 15/3 Reglas para la cuantificación general. Pueden hacer hasta el ej 14.
   * 20/3 Cuantificador N. Análisis por casos y pruebas de implicación descargando antecedentes. Pueden terminar el práctico.
+  * 22/3 Consulta. **Practico 2**. Inducción. Verificacion y demostracion. Inducción sobre listas. Pueden hacer hasta 4.
+  * 27/3 Recursión lineal. Modularización.
+  * 29/3 Feriado
+  *  3/4 Esquemas inductivos.
+  *  5/4 Generalización por abstracción.
+  * 10/4 Paro
+  * 12/4 Segmentos.
+  * 17/4 Consulta.
+  * 19/4 ** 1er Parcial**
+/*
-/*
-  * 22/3 Consulta.
-  * 27/3 **Practico 2**. Inducción. Demostración por inducción de propiedades. Inducción sobre listas. Recursión lineal ej. 3.
-  * 29/3 Feriado
-  *  3/4 Recursión lineal. Modularización.
-  *  5/4 Esquemas inductivos. Generalización por abstracción.
-  * 10/4 Consulta. Segmentos.
-  * 12/4 Consulta.
-  * 17/4 ** 1er Parcial**
   * 19/4 **Practico 3** (Modelo computacional imperativo). Estados y transiciones. Anotaciones con predicados.
   * 24/4 Terna de Hoare. Weakest Precondition (asignación, composición secuencial).