¡Bienvenido a la página de Algoritmos I!

Aula Virtual (recuerde inscribirse).

• 11/10/2016: Práctico 3 publicado.
• 27/09/2016: Práctico extra 1 publicado.
• 30/08/2016: Práctico 2 publicado.
• 16/08/2016: Empiezan las clases.

• Página principal
• Foro de Novedades y Anuncios
• Foro para hacer preguntas

Teórico/Práctico: Franco M. Luque, Laura Alonso Alemany, Demetrio Vilela, Mauricio Telechea y Marco Rocchietti. Ayudantes: Verónica Dias e Ignacio Queralt.

Laboratorio: Martín Domínguez, Renato Cherini, Juan Cruz Rodríguez, Emmanuel Gunther, Leonardo Rodriguez, Demetrio Vilela. Ayudantes: Emiliano Cuenca, Guillermo Incataciato, Jonathan Mutal, Matías Silva e Illak Zapata.

Teórico/Practico: martes y jueves de 9 a 13 hs, aula D4 (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 2015 o en el primero de 2016.

• Primer parcial: 4 de octubre
• Segundo parcial: 15 de noviembre
• Recuperatorios: 24 de noviembre

• "Borrador" del libro de la materia
• Notas de clase (por Marianela Morales, 2014)

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.

Más bibliografía y material acá.

• Práctico 1: Cálculo Proposicional y Expresiones Cuantificadas
• Práctico 2: Especificación, Derivación y Verificación de Programas Funcionales
• Práctico extra 1: Expresiones Cuantificadas y Programación Funcional
• Práctico 3: Introducción a la Programación Imperativa

Enunciados y teóricos de años previos:

• Introduccion a GDB. Por Marco Brunello y Leandro Ramos. Presentación, ejemplos.

Resumen de comandos de consola Linux y un libro sobre el tema.

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

• 22/8: Armado de Grupos. Presentación Proyecto 1 y auto-repaso linux.
• 29/8: Teórico de Taller: Haskell, GHCI, secciones, map, filter. Tipos, clases de tipos y más.
• 5/9: Corrección Proyecto 1. Presentación Proyecto 2.
• 12/9: Teórico de Taller: Tipos de datos no recursivos (data y type)
• 19/9: Teórico de Taller: Tipo de datos recursivos, deriving, case, Maybe.
• 26/9: Corrección proyecto 2. Presentación Proyecto 3.
• 3/10:Presentación de proyecto 3. Teórico primera parte. Uso de Hal
• 10/10: FERIADO
• 17/10: Teórico semántica.
• 31/10: Corrección proyecto 3. Presentación proyecto 4
• 7/11: Teórico de Taller: Programación C, GDB.
• 14/11: Teórico de Taller: Arreglos y Estructuras en C.
• 21/11: Corrección proyecto 4.

Acá pondremos lo que efectivamente fuimos dando en cada clase.

• 17/08: Presentación de la materia. Cuantificación general.
• 18/08: Reglas hasta participón de rango.
• 23/08: Reglas hasta anidado.
• 25/08: Reglas de anidado, intercambio y de morgan. Cuantificador de conteo.
• 30/08: Demostración por inducción. Inducción en números. Esquemas de inducción.
• 01/09: Inducción en listas. Demostración vs. derivación.
• 06/09: Modularización. Subinducción. Pattern matching vs. análisis por casos.
• 08/09: Generalización.
• 13/09: Segmentos de lista.
• 15/09: Complejidad y tuplas.
• 20/09: Semana del estudiante.
• 22/09: Semana del estudiante.
• 27/09: Introducción a la programación imperativa. Sintaxis y semántica informal de skip, asignación (:=), composición (;) y condicional (if).
• 29/09: Sintaxis y semántica informal de la repetición (do). Arreglos.