Diferencias

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

--- algo1:2011-1 [2011/04/02 22:54] – walteralini
+++ algo1:2011-1 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 7: / Línea 7: @@
 ===== Novedades =====
+ - 2011-05-06: Programación imperativa y su relación con C \\
+ - 2011-05-03: Prácticos III y IIIb \\
+ - 2011-04-27: Cambio de fecha tentativa de Parcialito 3 \\
+ - 2011-04-27: Filminas "Introducción a C" \\
+ - 2011-04-11: Libro "Cálculo de Programas" y archivo de traducción a Haskell \\
  - 2011-04-02: Función es_cuadrado, vista en el práctico \\
  - 2011-03-29: Archivo Conjunto.hs con las funciones vistas en el teórico del taller \\
@@ Línea 28: / Línea 33: @@
 ==== Calendario Tentativo ====
- * **Parcialito #1**: Miércoles 06/04
+ * <del>**Parcialito #1**: Miércoles 06/04</del>
- * **Parcialito #2**: Miércoles 20/04
+ * <del>**Parcialito #2**: Miércoles 20/04</del>
- * **Parcial #1**: Jueves 28/04
+ * <del>**Parcial #1**: Jueves 28/04</del>
- * **Parcialito #3**: Miércoles 11/05
+ * <del>**Parcialito #3**: Miércoles 18/05</del>
- * **Parcialito #4**: Miércoles 01/06
+ * <del>**Parcialito #4**: Miércoles 08/06</del>
- * **Parcial #2**: Jueves 09/06
+ * <del>**Parcial #2**: Jueves 16/06</del>
- * **Recuperatorios (de ambos parciales)**: Jueves 16/06
+ * **Recuperatorios (de ambos parciales)**: Martes 21/06
 ===== Prácticos / Talleres =====
@@ Línea 47: / Línea 52: @@
      * {{:algo1:2011-1:2011.c1.p2.pdf|Práctico 2}} - Cuantificación generalizada. Especificación, derivación y verificación de programas.
      * {{:algo1:2011-1:2011.c1.p2.repaso.pdf|Práctico 2b}} - Ejercicios extras al práctico 2.
-     * Práctico 3
+     * {{:algo1:2011-1:2011.c1.p3.pdf|Práctico 3}} - Programación imperativa.
+     * {{:algo1:2011-1:2011.c1.p3.c.pdf|Práctico 3b}} - Ejercicios extras al práctico 3, enfocados en la derivación y en paso a código C.
      * Práctico 4
 ===== Lecturas recomendadas / Archivos =====
+     * {{:algo1:2011-1:calculo_de_programas.pdf|Cálculo de Programas}} - Cálculo de Programas (Blanco, Barsotti, Smith)
      * {{:algo1:2011-1:digesto.pdf|Digesto}} - Digesto de reglas (axiomas y teoremas)
+     * {{:algo1:2011-1:traduccion.pdf|Traduccion}} - Traducción de "Cálculo de Programas" a Haskell (sacado de Introducción a los Algoritmos, año 2007)
+     * {{:algo1:2011-1:es_cuadrado.pdf|es_cuadrado}} - Derivación de es_cuadrado
      * {{:algo1:2011-1:Conjunto.tar.gz|Conjunto}} - Archivo con las funciones hechas en la clase de 2011-03-29
+     * {{:algo1:2011-1:introduction-to-c.pdf|Introducción a C}} - Filminas de la clase de introducción a C
+     * {{:algo1:2011-1:imperativo_en_c.tar.gz|Imperativo en C}} - Clase 2 de taller en C: de Imperativo a C.
 ===== Instrucciones para inscribirse en la lista de mails =====