Diferencias

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

--- algo1:2017-2 [2017/09/28 06:12] – francolq
+++ algo1:2017-2 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 4: / Línea 4: @@
 ¡¡Bienvenidos a la página de Algoritmos I!!
 [[http://www.famaf.proed.unc.edu.ar/course/view.php?id=367|Aula Virtual]] (recuerden inscribirse).
 ===== Novedades =====
+  * 14/11/2017: Nuevo material: finales y "Consejos para la Derivación de Programas Imperativos".
+  * 14/11/2017: **Nueva fecha de recuperatorio: 28 de noviembre.**
+  * 14/11/2017: Ejemplos de finales publicados.
+  * 2/11/2017: Práctico 5 publicado.
+  * 12/10/2017: Práctico 4 publicado.
   * 28/9/2017: Práctico 3 publicado.
   * 7/9/2017: Nueva versión de los "Consejos para la Derivación de Programas Funcionales" publicada.
@@ Línea 71: / Línea 74: @@
   * Primer parcial: 26 de septiembre
   * Segundo parcial: 21 de noviembre
-  * Recuperatorios: 23 de noviembre
+  * Recuperatorios: 28 de noviembre
 /*
@@ Línea 95: / Línea 98: @@
   * {{:algo1:2016-2:imperativo.pdf|Digesto}} para la programación imperativa.
+  * {{:algo1:2017-2:consejos_imperativo.pdf|Consejos para la Derivación de Programas Imperativos}}.
 /*
@@ Línea 101: / Línea 105: @@
   * {{:algo1:2016-1:ejemplo_parcial2.pdf|Ejemplo de 2do parcial.}}
 */
+Ejemplos de finales:
+(**OJO:** los ejercicios varían por cambios en los contenidos de la materia y por diferencias entre cursado y recursado.)
+  * {{:algo1:2017-2:2016c2final1.pdf|5 de diciembre de 2016}}
+  * {{:algo1:2017-2:2016c2final2.pdf|X de diciembre de 2016}}
+  * {{:algo1:2017-2:2016c2final3.pdf|15 de febrero de 2017}}
+  * {{:algo1:2017-2:2016c2final4.pdf|3 de marzo de 2017}}
 [[:algo1:bibliografia2|Más bibliografía y material acá.]]
@@ Línea 110: / Línea 124: @@
   * {{:algo1:2017-2:practico2.pdf|Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales}}
   * {{:algo1:2017-2:practico3.pdf|Práctico 3: Introducción a la Programación Imperativa}}
+  * {{:algo1:2017-2:practico4.pdf|Práctico 4: Introducción al Cálculo de Programas Imperativos}}
+  * {{:algo1:2017-2:practico5.pdf|Práctico 5: Programación Imperativa}}
-/*
-  * {{:algo1:2016-2:extra1.pdf|Práctico extra 1: Expresiones Cuantificadas y Programación Funcional}}
-  * {{:algo1:2016-2:practico3.pdf|Práctico 3: Introducción a la Programación Imperativa}}
-  * {{:algo1:2016-2:practico4.pdf|Práctico 4: Introducción al Cálculo de Programas Imperativos}}
-  * {{:algo1:2016-2:practico5.pdf|Práctico 5: Programación Imperativa}}
-*/
 /*
@@ Línea 127: / Línea 137: @@
 ===== Material de laboratorio =====
-|                ^ Enunciado                                ^ Teóricos           ^     Fecha corrección ^
+| ^ Enunciado ^ Material ^ Fecha corrección ^
-^ 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)]]  |     4/9|
+^ 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)]] |  4/9|
-^   :::          |  {{:algo1:proy1-estrella-2017.c2.pdf|ej-estrella.pdf}}                                     | {{:algo1:tipos_y_polimorfismo-2017.c2.pdf|Tipos: polimorfismo y alto orden}}                                              | :::    |
+^ ::: |  {{:algo1:proy1-estrella-2017.c2.pdf|ej-estrella.pdf}} | {{:algo1:tipos_y_polimorfismo-2017.c2.pdf|Tipos: polimorfismo y alto orden}} | ::: |
-^ Proyecto 2     | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy2_2017_2.pdf|Proyecto 2]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_2_ejemplo_tipos.hs|Ejemplos  tipos de datos (archivo .hs)]] |    |
+^ Proyecto 2 | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy2_2017_2.pdf|Proyecto 2]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_2_ejemplo_tipos.hs|Ejemplos  tipos de datos (archivo .hs)]] |  25/9|
-^   :::          | ::: |[[https://docs.google.com/presentation/d/15dhZOodeKXUirtK9Lf2Nwy1AgMdovnVdm5CenyGnFiY/edit?usp=sharing|Tipos de datos en Haskell]]  |  25/9 |
+^ ::: | ::: |[[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]]  |
+^ ::: | ::: |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proyecto_2_CLASE_1.html|Tipos de datos, deriving, case, Maybe]] | ::: |
-^ Proyecto 3|[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy3_seg_cuat_2017.pdf|Proyecto 3]] ([[|Archivos HAL]])|[[https://docs.google.com/presentation/d/104uhjnehOSZ5tu11AQRB2D-Mt71cuEa8zZE7Zi4Xex8/edit?usp=sharing|Presentación de HAL]]|       23/10|
+^ Proyecto 3| {{:algo1:2017-c2-proy3.pdf|Proyecto 3}} |[[https://docs.google.com/presentation/d/1RgMHdplxxLrt4VEHWc6n1oaHwZHAOiVBNp_hBTaBlnA/edit?usp=sharing|Presentación de HAL]]|  23/10|
-^   :::          | ::: | [[https://docs.google.com/presentation/d/1bdbjz1kg5cWMONob9puz9aEKNTr_IxN0TVFqjKhn2cg/edit?usp=sharing|Modelo Computacional]]  |  :::  |
+^ ::: | ::: | [[https://docs.google.com/presentation/d/1bdbjz1kg5cWMONob9puz9aEKNTr_IxN0TVFqjKhn2cg/edit?usp=sharing|Modelo Computacional]] | ::: |
-^   :::          | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Examples-HAL.zip|Ejemplos de programas en HAL]] |  :::  |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Examples-HAL.zip|Ejemplos de programas en HAL]] | ::: |
-^   :::          | ::: | [[algo1:instalarhal|Instalar HAL]]|  :::  |
+^ ::: | ::: | {{:algo1:hal-gui.zip|Código fuente de HAL incompleto}} | ::: |
-/*^ Proyecto 4     | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4_2016_2.pdf|Proyecto 4]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Clase_1_de_C_con_hal.html|Programación C, GDB]];  [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/funciones_en_c.c|Ejemplo de funciones en C]] |
+^ ::: | ::: | [[algo1:instalarhal_local|Instalar HAL incompleto en el lab]] | ::: |
-^    | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/archivos_ejercicios.zip|Archivos complementarios Proy. 4]] |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_arreglo.html|Teórico de Arreglos]], [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/arreglo.c|Código Arreglo]], [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/inicializar.c|Ejemplo de inicialización de arreglos]]; [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_struct.html|Teórico de Estructuras]], [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/struct_ejemplo.c|Struct]], |     21/11|
+^ ::: | ::: | [[algo1:instalarhal|Instalar HAL incompleto en tu maquina personal]] | ::: |
+^ Proyecto 4  | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4_2016_2.pdf|Proyecto 4]] |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/archivos_ejercicios.zip|Archivos complementarios Proy. 4]]  |  22/11|
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/Clase_1_de_C_con_hal.html|Programación C, GDB]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/funciones_en_c.c|Ejemplo de funciones en C]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_arreglo.html|Teórico de Arreglos]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/arreglo.c|Código Arreglo]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/inicializar.c|Ejemplo de inicialización de arreglos]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_struct.html|Teórico de Estructuras]] | ::: |
+^ ::: | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/struct_ejemplo.c|Struct]] | ::: |
+/*
 Enunciados y teóricos de años previos:
@@ Línea 160: / Línea 179: @@
   *18/9: Trabajo sobre proyecto 2
   *25/9: Corrección de proyecto 2. Presentación de proyecto 3.
-  *2/10: Teórico: uso de Hal, semántica de programas imperativos
+  *2/10: Teórico: uso de Hal.
-  *9/10: Trabajo sobre proyecto 3
+  *9/10: Teórico: semántica de programas imperativos.
   *16/10: FERIADO
   *23/10: Corrección de proyecto 3. Presentación de proyecto 4