Javier O. Blanco, Damián Barsotti, Martín Domínguez, Natalia Bidart, Matías Lee, Mariana Badano, Mauricio Tellechea, Demetrio Vilela, Malku Soldevilla Raffa, Maximiliano Bustos, Leandro Ramos, Marcos Rocchietti.

• 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

• Cosas básicas sobre Haskell
• Tutorial Haskell.
• Introducción a Haskell.
• Lenguaje de Programación Funcional Haskell.
• Wikipedia.

• Tutorial Haskell.
• Manual Hugs.
• Especificación del lenguaje Haskell 98.
• En la web.
• Hoogle. Búsqueda de funciones por nombre o tipo.

• En castellano pero básico.
• En ingles pero muy completo.
• Manual de referencia en inglés.
• Otro en castellano.

• Trampa en el cyberespacio.
• Software's Chronic Crisis.
• Implementing Functional Languages: a Tutorial. Simon L. Peyton Jones.
• Voto electrónico. Los riesgos de una ilusión. Federico Heinz.
• X11 windows manager in Haskell!.

• Práctico 1
• Práctico 2
• Práctico 3
• Práctico 4

• El taller se dicta en dos comisiones. Los horarios de ellas son los martes de 14 a 18 hs, en las aulas 28 y 30 (laboratorios de segundo y tercer piso). Cada alumnos debe inscribirse en una en el despacho de alumnos.

• Los teóricos del laboratorio se dictan durante el taller.

• El taller consiste en la realización de una serie de proyectos.

• Los contenidos necesarios para su realización serán impartidos en los teóricos del taller.

• Los proyectos podrán ser consultados en los laboratorios del taller.

• La realización de los mismos es grupal. Los grupos son de (máximo) 4 personas. Los grupos permanecen fijos para todos los proyectos.

• Cada grupo tendrá un ayudante asignado. Los ayudantes harán un seguimiento de los proyectos.

• Existen horarios reservados para práctica libre y consultas a programar en el laboratorio los jueves de 14 a 16 hs.

• Los proyectos se evaluarán de forma individual aunque su realización haya sido grupal.

Las posibles notas son las siguientes:

• B+ (superó los objetivos que se plantearon para el proyecto, por ejemplo, haciendo una implementación impecable y resolvió puntos estrellas)
• B (cumplió con todas las pautas estipuladas para el proyecto)
• B- (el proyecto funciona, pero se evidencia cierta inseguridad en las respuestas/justificaciones)
• R (el proyecto no fue implementado en su totalidad, y/o las respuestas son poco precisas)
• M (no presentó el proyecto, o lo presentó y no conoce la resolución del mismo)

1. Proyecto 1. Recursión en Haskell.
2. Proyecto 2. Derivaciones y tipos de datos datos en Haskell.
3. Proyecto 3. Diccionario en Haskell. Interface ya hecha y diccionarios de prueba.
4. Proyecto 4. Programación imperativa.

• Haskell Compilado, usando GHC y la Mónada IO. Por Marco Rochietti. Presentación. Programas.
• Introduccion a QuickCheck. Por Maximiliano Bustos. Presentación y programas.
• Introduccion a GDB. Por Marco Brunello y Leandro Ramos. Presentación, ejemplos.

• Configuración para Emacs.

Para rendir el taller se deberá presentar 5 días hábiles antes de rendir el examen:

• Una carpeta por cada proyecto del taller de la materia.

• Cada carpeta debe contener:
  • Título del proyecto.
  • Una sección por cada ejercicio.
  • Cada seccion debe contener las siguientes subsecciones:
    • Enunciado del proyecto.
    • El programa resultado escrito en el formalismo del teórico.
    • La demostración o derivación de este resultado.
    • El programa resultado escrito en el lenguaje de programación correspondiente.
    • Este debe ser el mismo programa que el del item anterior. Es decir debe ser una traducción del anterior.
    • Si el ejercicio tiene preguntas, se deberá agregar una nueva subsección con las preguntas y las respuestas correctas.
    • Cualquier otro agregado que crea conveniente para la correcta interpretación del trabajo.
  • Se deben hacer todos los puntos extras o ejercicios estrella del proyecto.

• Se deberá entregar además un CD o disquette con todos los programas de los proyectos.
  • Los programas de cada proyecto deberán estar en un directorio separado cuyo nombre deberá ser el numero del proyecto.
  • Se pueden crear subdirectorios para cada ejercicio si lo considera necesario.

• Los programas deben poder compilar sin ningún problema y deben coincidir con los de las carpetas.
  • Para el caso de programas en C, deben poder compilar sin “warnings” con las directivas -Wall -ansi -pedantic.

• Si todos los resultados presentados en las carpetas y el CD o disquette son correctos y cumplen con todos los requisitos anteriores entonces el alumno pasará a un examen oral. Este examen se realizará en un horario a convenir con los profesores de la materia.

Desde el webmail del FaMAF 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.

Todo esto hay que hacerlo desde el webmail del FaMAF.

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.