Diferencias

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

--- algo1:2015-2 [2015/10/07 11:57] – [Laboratorio] martin
+++ algo1:2015-2 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 12: / Línea 12: @@
   * 25/08/2015: Se publicó el práctico 1 corregido. Se subió el borrador del libro de la materia.
   * 01/09/2015: Se publicó el práctico 2 completo. Se publicaron las fechas de los parciales.
+  * 07/10/2015: Se publicaron los prácticos 3 y 4.
@@ Línea 91: / Línea 92: @@
   * {{:algo1:2015-c2-p1.pdf|Práctico 1}} - Cálculo proposicional y expresiones cuantificadas.
   * {{:algo1:2015-c2-p2.pdf|Práctico 2}} - Especificación, derivación y verificación de programas funcionales.
+  * {{:algo1:2015-c2-p3.pdf|Práctico 3}} - Introducción a la programación imperativa.
-/*
+  * {{:algo1:2015-c2-p4.pdf|Práctico 4}} - Introducción al cálculo de programas imperativos.
-  * {{:algo1:2015-1:practico1.pdf|Práctico 1}} - Repaso cálculo proposicional y expresiones cuantificadas.
+  * {{:algo1:2015-c2-p5.pdf|Práctico 5}} - Programación imperativa.
-  * {{:algo1:2015-1:practico2.pdf||Práctico 2}} - Especificación derivación y verificación de programas funcionales.
-  * {{:algo1:2015-1:practico3.pdf|Práctico 3}} - Introducción a la programación imperativa.
-  * {{:algo1:2014-1:practico4.pdf|Práctico 4}} - Programación imperativa.
-*/
 ===== Laboratorio =====
@@ Línea 120: / Línea 109: @@
 ^ Proyecto 3|[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy3.pdf|Proyecto 3]]([[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/hal-gui.zip|Archivos HAL]])|[[https://docs.google.com/presentation/d/104uhjnehOSZ5tu11AQRB2D-Mt71cuEa8zZE7Zi4Xex8/edit?usp=sharing|Presentación de HAL]]|       28/10|
 ^   :::          | ::: | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/presentacio_modelo_comp.pdf|Modelo Computacional]]  |  :::  |
-^   :::          | ::: | [[[[algo1:main|algo1:instalarhal]]|Ejemplos programas en HAL]] |  :::  |
+^   :::          | ::: | [[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|Instalar HAL]] |  :::  |
+^   :::          | ::: | [[algo1:instalarhal|Instalar HAL]]|  :::  |
-^ Proyecto 4     | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4.pdf|Proyecto 4]] | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_1_de_c.html|Programación C, GDB]]|      4/11|
+^ Proyecto 4     | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy4_2015.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]] |
-^ Proyecto 5     | [[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/proy5.pdf|Proyecto 5]] |[[http://www.cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/clase_arreglo.html|Teórico de Arreglos]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/arreglo.c|Código Arreglo]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/inicializar.c|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/~hoffmann/algo1/2013-1/struct.c|Struct]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/struct2.c|Struct 2]]|     25/11|
+^    | [[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/~hoffmann/algo1/2013-1/arreglo.c|Código Arreglo]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/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/~hoffmann/algo1/2013-1/struct.c|Struct]], [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/struct2.c|Struct 2]]|     25/11|
 Ejemplos de programas en C:
-  * Proyecto 4 / Proyecto 5:
+  * Proyecto 4 :
     * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/helloworld.c|Hello, World!]]
     * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/assignacion.c|Assignación múltiple]]
     * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/while.c|While]]
+ /*
+    Ahora están como ejercicio
     * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/mcd.c|Mcd]]
     * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/mcdFuncion.c|Mcd con función]]
+    *
+ */
 Enunciados y teóricos del año pasado: