Algoritmos y Estructuras de Datos I

Javier O. Blanco, Damián Barsotti, Martín Domínguez, Walter Alini, Miguel Pagano, Natalia Bidart, Matías Lee, Ezequiel Velez, Leonardo, Rodriguez, Santiago Videla, Emmanuel Gunther, Renato Cherini, Mariana Badano, Mauricio Tellechea, Demetrio Vilela.

• 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

Listado de notas parciales, regularidades y promociones

• 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.

• 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 - Cálculo proposicional, de predicados y cuantificación generalizada.
• Práctico 2 - Especificación, derivación y verificación de programas funcionales.
• Práctico 3 - Tipos abstractos de datos.
• Práctico 4 - Programación imperativa.

• El taller se reliza en dos comisiones. Los horarios de ellas son los lunes de 14 a 18 hs. 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 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 hs. 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 novedosa)
• B (cumplió con todas las pautas estipuladas para el proyecto)
• B- (el proyecto funciona, pero se evidencia cierta inseguridad en las respuesta)
• R (El proyecto no fue implementado en su totalidad, o las respuestas son poco precisas)
• M (no presentó el proyecto, o lo presento y no conoce la resolución del mismo)

• Proyecto 1 - Recursión.
• Proyecto 2 - Tipos de datos.
• Proyecto 3 - TAD's en Haskell. Interface y diccionarios.
• Proyecto 4 - Pasar derivaciones a C.

Para rendir el taller se deberá presentar 5 dias 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.