¡¡Bienvenidos a la página de Algoritmos I!!

Aula Virtual (recuerden inscribirse).

• 14/11/2017: Nuevo material: finales y “Consejos para la Derivación de Programas Imperativos”.
• 14/11/2017: Nueva fecha de recuperatorio: 28 de noviembre.
• 14/11/2017: Ejemplos de finales publicados.
• 2/11/2017: Práctico 5 publicado.
• 12/10/2017: Práctico 4 publicado.
• 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.

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.

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.

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

• Primer parcial: 26 de septiembre
• Segundo parcial: 21 de noviembre
• Recuperatorios: 28 de noviembre

• "Borrador" del libro de la materia
• Notas de clase:
  • Programación funcional (Marianela Morales, 2014)
  • Programación imperativa (Lucía González, 2016)

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.
• Consejos para la Derivación de Programas Funcionales.

Programación imperativa:

• Digesto para la programación imperativa.
• Consejos para la Derivación de Programas Imperativos.

Ejemplos de finales:

(OJO: los ejercicios varían por cambios en los contenidos de la materia y por diferencias entre cursado y recursado.)

• 5 de diciembre de 2016
• X de diciembre de 2016
• 15 de febrero de 2017
• 3 de marzo de 2017

Más bibliografía y material acá.

• Práctico 1: Expresiones Cuantificadas y Formalismo Básico
• Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales
• Práctico 3: Introducción a la Programación Imperativa
• Práctico 4: Introducción al Cálculo de Programas Imperativos
• Práctico 5: Programación Imperativa

Acá pondremos el calendario completo de la materia como esperamos darla.

• 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.
• 9/10: Teórico: semántica de programas imperativos.
• 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.