Javier Blanco, Natalia Bidart, Silvia Pelozo, Walter Alini, Demetrio Vilela, Emmanuel Gunther, Marco Brunello, Andrés Bordese.

- 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
- 2011-03-13: Actualización de la información de regularidad
- 2011-03-13: Actualización de ejercicio 7 del práctico I
- 2011-03-09: Digesto

• Para regularizar la materia: 2 parciales aprobados (o sus equivalentes recuperatorios) con nota >= 5 y N-1 talleres aprobados
• Para promocionar la materia: 2 parciales aprobados con nota >= 7 y N talleres aprobados
• Para rendir libre la materia: seguiremos la modalidad del dictado ordinario de la materia, que aparece en “Condiciones para rendir libre el taller” en la página de la materia del año pasado

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.

* Parcialito #1: Miércoles 06/04

* Parcialito #2: Miércoles 20/04

* Parcial #1: Jueves 28/04

* Parcialito #3: Miércoles 18/05

* Parcialito #4: Miércoles 08/06

* Parcial #2: Jueves 16/06

* Recuperatorios (de ambos parciales): Martes 21/06

• Práctico 1 - Repaso.
• Práctico 2 - Cuantificación generalizada. Especificación, derivación y verificación de programas.
• Práctico 2b - Ejercicios extras al práctico 2.
• Práctico 3 - Programación imperativa.
• Práctico 3b - Ejercicios extras al práctico 3, enfocados en la derivación y en paso a código C.
• Práctico 4

• Cálculo de Programas - Cálculo de Programas (Blanco, Barsotti, Smith)
• Digesto - Digesto de reglas (axiomas y teoremas)
• Traduccion - Traducción de “Cálculo de Programas” a Haskell (sacado de Introducción a los Algoritmos, año 2007)
• es_cuadrado - Derivación de es_cuadrado
• Conjunto - Archivo con las funciones hechas en la clase de 2011-03-29
• Introducción a C - Filminas de la clase de introducción a C
• Imperativo en C - Clase 2 de taller en C: de Imperativo a C.

Desde el webmail del FaMAF (o desde cualquier otro cliente de correo, pero con la dirección de mail @famaf.unc.edu.ar) enviar un mail a:

alualgo1-join@famaf.unc.edu.ar

con cualquier subject o cuerpo del mail.

Después de enviarlo debe llegar un mail con un link a una página donde donde se deben llenar los datos personales.

Si se cometió un error el sistema enviará un mail avisando. Por lo cual, siempre lea el mail de respuesta a la inscripción y verifique que no hubo un error. Si es así, repita el proceso.

Cualquier problema consultar con los administradores del laboratorio.