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

Aula Virtual (recuerden inscribirse).

Lista de correo (Google Group)

• 20/11/2018: Cambio fecha recuperatorio!!
• 6/11/2018: Práctico 5 publicado.
• 22/10/2018: Práctico 4 publicado.
• 25/9/2018: Cambio fecha primer parcial!!
• 11/9/2018: Práctico 3 publicado.
• 29/8/2018: Práctico 2 publicado.
• 15/8/2018: Práctico 1 publicado.
• 14/8/2018: Página publicada.

Teórico/Práctico: Franco M. Luque, Demetrio Martín Vilela, Pedro Sanchez Terraf.

Laboratorio: Martín Domínguez, Demetrio Martín Vilela, Juan Cruz Rodríguez, Emmanuel Gunther, Marco Rochietti, Leonardo Rodríguez, Alejandro Gadea.

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: 2 de octubre 9 de octubre
• Segundo parcial: 20 de noviembre
• Recuperatorios: 22 de noviembre 27 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.

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

• 2016:
  • 1er parcial
  • 2do parcial
  • Recuperatorio 1er parcial (con solución ej. 3)
  • Recuperatorio 2do parcial (con solución ej. 3)
• 2017:
  • 1er parcial
  • 2do parcial
  • Recuperatorio 1er parcial
  • Recuperatorio 2do parcial