Diferencias

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

--- algo1:2010-2 [2010/08/11 17:20] – chun
+++ algo1:2010-2 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 5: / Línea 5: @@
 Javier O. Blanco, [[http://www.cs.famaf.unc.edu.ar/~damian|Damián Barsotti]], Martín Domínguez, Walter Alini, Miguel Pagano, Natalia Bidart, [[http://www.cs.famaf.unc.edu.ar/~lee|Matías Lee]], Ezequiel Velez, Leonardo, Rodriguez, Santiago Videla, Emmanuel Gunther, Renato Cherini, Mariana Badano, Mauricio Tellechea, Demetrio Vilela.
-===== Novedades =====
+===== Calendario =====
+  * 10/8: Expresiones cuantificadas
+  * 17/8: Especificaciones - Introducción a la derivación de programas
+  * 24/8 Técnicas elementales. Modularización - Generalización
+  * 31/8 Ejemplos
+  * 7/9 Ejemplos (segmentos)
+  * 14/9 Tipos abstractos de datos - especificaciones implícitas.
+  * 21/9 semana del estudiante - consultas
+  * 28/9 parcial. Introducción a la programación imperativa.
+  * 5/10    Lógica de Hoare - guarded commands
+  * 12/10 invariantes - derivación de programas imperativos
+  * 19/10 Técnicas para encontrar invariantes. Fortalecimiento de invariantes.
+  * 26/10 Recursión final. Ejemplos.
+  * 2/11 Ejemplos. Parcial.
+  * 9/11 Modificación de arreglos. Ejemplo de la bandera holandesa. Métodos de ordenación.
+  * 16/11 Repaso. Recuperatorio
 ===== Parciales =====
@@ Línea 26: / Línea 54: @@
 ==== Notas ====
+{{:algo1:notas_reg.pdf| Listado de notas parciales, regularidades y promociones}}
 ===== Bibliografía =====
@@ Línea 37: / Línea 66: @@
 === Español ===
+     * [[algo1:2010-2:haskell-intro | Cosas básicas sobre Haskell]]
      * [[http://www.lcc.uma.es/~blas/pfHaskell/gentle/index.html|Tutorial Haskell]].
      * [[http://horru.lsi.uniovi.es/~labra/FTP/IntHaskell98.pdf|Introducción a Haskell]].
@@ Línea 51: / 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 67: / Línea 97: @@
 ===== Prácticos =====
+     * {{: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 134: / Línea 166: @@
 ==== Proyectos ====
-  * {{:algo1:2009:proy1.pdf|Proyecto 1}} - Recursión.
+/* {{: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 ====
@@ Línea 166: / Línea 202: @@
 ===== Instrucciones para inscribirse en la lista de mails =====
-Desde la cuenta de mail <tu-usuario>@famaf.unc.edu.ar enviar un mail a:
+Desde el [[http://webmail.famaf.unc.edu.ar/src/login.php|webmail del FaMAF]] enviar un mail a:
   alualgo1-join@famaf.unc.edu.ar
@@ Línea 172: / Línea 208: @@
 con cualquier subject o cuerpo del mail.
-Después de enviarlo debe llegar un mail donde diga que la subscripcion fue realizada correctamente. Hacer un reply con el mismo subjet (pero que no diga Re: ---).
+Después de enviarlo debe llegar un mail con un link a una página donde donde se deben llenar los datos personales.
 Todo esto hay que hacerlo desde el [[http://webmail.famaf.unc.edu.ar/|webmail del FaMAF]].