algo1:2017-2
¡Esta es una revisión vieja del documento!
Tabla de Contenidos
Algoritmos y Estructuras de Datos I - 2017 2do cuatrimestre
Novedades
- 28/9/2017: Práctico 3 publicado.
- 7/9/2017: Nueva versión de los “Consejos para la Derivación de Programas Funcionales” publicada.
- 29/8/2017: Práctico 2 publicado.
- 15/8/2017: Práctico 1 y nuevos digestos publicados.
- 7/8/2017: Página publicada.
Docentes
Teórico/Práctico: Franco M. Luque, Demetrio Martín Vilela, Pedro Sanchez Terraf, Milagros Teruel.
Laboratorio: Martín Domínguez, Renato Cherini, Demetrio Martín Vilela, Juan Cruz Rodríguez, Emmanuel Gunther, Marco Rochietti, Leonardo Rodríguez.
Horarios
Teórico/Practico: martes y jueves de 9 a 13 hs, aula D1 (baterías D).
Laboratorio: lunes de 14 a 18 hs. labs. 28 y 30.
Regularidad / Promoción
- Para regularizar la materia: 2 parciales aprobados con nota >= 4 o un recuperatorio equivalente y el taller aprobado.
- Para promocionar la materia: 2 parciales aprobados con nota >= 6, promedio >= 7.5 y el taller aprobado.
- Para rendir libre la materia, hay condiciones particulares respecto al taller. Ver Modalidad del taller para los detalles.
Nota: El taller también se considerará aprobado si lo fue en el segundo cuatrimestre de 2016 o en el primero de 2017.
Fechas de Parciales y Recuperatorios
- Primer parcial: 26 de septiembre
- Segundo parcial: 21 de noviembre
- Recuperatorios: 23 de noviembre
Material de Teórico/Práctico
- Notas de clase:
Programación funcional:
- Digesto de axiomas y teoremas para cálculo proposicional y expresiones cuantificadas.
- Anexo (axiomas y teoremas cuantificador de conteo).
- Digesto de funciones de listas y propiedades.
Programación imperativa:
- Digesto para la programación imperativa.
Prácticos
Material de laboratorio
| Enunciado | Teóricos | Fecha corrección | |
|---|---|---|---|
| Proyecto 1 | Proyecto 1 | Aprende Haskell por el bien de todos! (cap. 1 al 6) | 4/9 |
| ej-estrella.pdf | Tipos: polimorfismo y alto orden | ||
| Proyecto 2 | Proyecto 2 | Ejemplos tipos de datos (archivo .hs) | |
| Tipos de datos en Haskell | 25/9 | ||
| Tipos de datos, deriving, case, Maybe | |||
| Proyecto 3 | Proyecto 3 (Archivos HAL) | Presentación de HAL | 23/10 |
| Modelo Computacional | |||
| Ejemplos de programas en HAL | |||
| Instalar HAL |
Calendario Tentativo
Acá pondremos el calendario completo de la materia como esperamos darla.
Taller
- 14/8: Presentación de proyecto 1 y auto-repaso de linux
- 21/8: FERIADO.
- 28/8: Teórico: map, filter, polimorfismo paramétrico, clases, aplicación parcial.
- 4/9: Corrección de proyecto 1. Presentación de proyecto 2.
- 11/9: Teórico de Taller: Tipos de datos, deriving, case, Maybe.
- 18/9: Trabajo sobre proyecto 2
- 25/9: Corrección de proyecto 2. Presentación de proyecto 3.
- 2/10: Teórico: uso de Hal, semántica de programas imperativos
- 9/10: Trabajo sobre proyecto 3
- 16/10: FERIADO
- 23/10: Corrección de proyecto 3. Presentación de proyecto 4
- 30/10: Teórico: programación en C, debugging con GDB.
- 6/11: Teórico: arreglos y estructuras en C.
- 13/11: Corrección de proyecto 4.
- 20/11: FERIADO.
algo1/2017-2.1506964213.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)