Diferencias

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

--- algo1:2010-2 [2010/08/17 23:05] – renato
+++ algo1:2010-2 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 54: / Línea 54: @@
 ==== Notas ====
+{{:algo1:notas_reg.pdf| Listado de notas parciales, regularidades y promociones}}
 ===== Bibliografía =====
@@ Línea 80: / Línea 81: @@
 ==== Lenguaje C ====
-     * {{algo2:cursc.html | En castellano pero básico}}.
+     * [[http://www.cs.famaf.unc.edu.ar/~damian/algoritmos1/lenguaje_C/cursc.html|En castellano pero básico]].
      * [[http://www.cs.cf.ac.uk/Dave/C/ | En ingles pero muy completo]].
-     * [[http://www.space.unibe.ch/comp_doc/c_manual/C/cref.html|Manual de referencia en inglés]].
+     * [[http://www.cs.famaf.unc.edu.ar/~damian/algoritmos1/lenguaje_C/www.phim.unibe.ch/comp_doc/c_manual/C/cref.html|Manual de referencia en inglés]].
      * {{algo1:curso-c.pdf|Otro en castellano}}.
@@ Línea 96: / Línea 97: @@
 ===== Prácticos =====
-     * {{algo1:2010.c2.p1.pdf|Práctico 1}} - Cálculo proposicional, de predicados y cuantificacioón generalizada.
+     * {{:algo1:2010.c2.p1.pdf|Práctico 1}} - Cálculo proposicional, de predicados y cuantificación generalizada.
+     * {{:algo1:2010.c2.p2.pdf|Práctico 2}} - Especificación, derivación y verificación de programas funcionales.
+     * {{:algo1:2010.c2.p3.pdf|Práctico 3}} - Tipos abstractos de datos.
+     * {{:algo1:2010.c2.p4.pdf|Práctico 4}} - Programación imperativa.
 ===== Laboratorio =====
@@ Línea 165: / Línea 168: @@
 /* {{:algo1:2009:proy1.pdf|Proyecto 1}} - Recursión. */
   * {{:algo1:2010-2:proy1.pdf|Proyecto 1}} - Recursión.
+  * {{:algo1:2010-2:proyecto2.pdf|Proyecto 2}} - Tipos de datos.
+  * {{:algo1:2010-2:proy3.pdf|Proyecto 3}} - TAD's en Haskell. {{:algo1:2010-2:interface.tgz|Interface y diccionarios}}.
+  * {{:algo1:2010-2:proy4.pdf|Proyecto 4}} - Pasar derivaciones a C.
 ==== Condiciones para rendir libre el taller ====