Diferencias

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

--- algo1:2011-1 [2011/03/24 21:07] – walteralini
+++ algo1:2011-1 [2018/08/10 03:03] (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 \\
+ - 2011-03-28: Fechas tentativas de parcialitos \\
  - 2011-03-24: Actualización de la información de regularidad \\
  - 2011-03-22: Práctico II y II-repaso \\
@@ Línea 21: / Línea 29: @@
 Nota: El taller se considerará regularizado si está aprobado o promocionado en otros dictados de la materia. Para promocionar el taller se deberán rendir los talleres de este dictado. El intento de promoción anula la regularidad de otro dictado de la materia, si hubiera.
-===== Parciales =====
+===== Parciales / Parcialitos =====
 ==== Calendario Tentativo ====
- * **Parcial #1**: Jueves 28/04
+ * <del>**Parcialito #1**: Miércoles 06/04</del>
- * **Parcial #2**: Jueves 09/06
+ * <del>**Parcialito #2**: Miércoles 20/04</del>
- * **Recuperatorios (de ambos parciales)**: Jueves 16/06
+ * <del>**Parcial #1**: Jueves 28/04</del>
+ * <del>**Parcialito #3**: Miércoles 18/05</del>
+ * <del>**Parcialito #4**: Miércoles 08/06</del>
+ * <del>**Parcial #2**: Jueves 16/06</del>
+ * **Recuperatorios (de ambos parciales)**: Martes 21/06
 ===== Prácticos / Talleres =====
@@ Línea 36: / 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 =====
+===== 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 =====