Herramientas de usuario

Herramientas del sitio


algo1:2015-2

Diferencias

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

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
Próxima revisión
Revisión previa
algo1:2015-2 [2015/10/08 03:40] – [Prácticos] renatoalgo1: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.   * 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.   * 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-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-p2.pdf|Práctico 2}} - Especificación, derivación y verificación de programas funcionales.
-  * {{:algo1:2015-c2-p3.pdf| Introducción a la programación imperativa.}} +  * {{:algo1:2015-c2-p3.pdf|Práctico 3}} - Introducción a la programación imperativa. 
-  * {{:algo1:2015-c2-p4.pdf| Introducción al cálculo de programas imperativos.}+  * {{:algo1:2015-c2-p4.pdf|Práctico 4}} - Introducción al cálculo de programas imperativos. 
 +  * {{:algo1:2015-c2-p5.pdf|Práctico 5}} - Programación imperativa.
  
 ===== Laboratorio ===== ===== Laboratorio =====
Línea 109: Línea 111:
 ^   :::          | ::: | [[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: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: 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/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/assignacion.c|Assignación múltiple]]
     * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/while.c|While]]     * 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/mcd.c|Mcd]]
-    * Código C: [[http://www.cs.famaf.unc.edu.ar/~hoffmann/algo1/2013-1/mcdFuncion.c|Mcd con función]]+    * 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: Enunciados y teóricos del año pasado:
algo1/2015-2.1444275646.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)