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

- 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 11/05

* Parcialito #4: Miércoles 01/06

* Parcial #2: Jueves 09/06

* Recuperatorios (de ambos parciales): Jueves 16/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
• Práctico 4

• Digesto - Digesto de reglas (axiomas y teoremas)
• Conjunto - Archivo con las funciones hechas en la clase de 2011-03-29

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.