Tabla de Contenidos
Introducción a los Algoritmos: 2do Cuatrimestre del 2012
Horario de clases
- Lunes y Miércoles en el Laboratorio 28 de 9 a 13hs - Luciana Benotti
- Miércoles en el Laboratorio 28 de 9 a 13hs - Walter Alini
- Lunes en el Laboratorio 28 de 9 a 13hs - Gisela Rossi y Marcos Gómez
Contacto
En esta materia usamos un grupo de mail para poder comunicarnos entre los estudiantes y los docentes. Cualquier pregunta o información que sea importante para la materia puede ser enviada a este grupo. También pueden mandar consultas que no pudieron preguntar durante las clases. Las únicas dos reglas para usar este medio son:
- Las consultas tienen que mostrar que trataron de hacer el ejercicio.
- Si mandan sus consultas poco tiempo antes de un examen, probablemente no vamos a llegar a contestarles, manden las preguntas con tiempo.
Seguí este link para agregarte al grupo de la materia (este grupo es diferente al del 1er Cuatrimestre): Grupo Introalg 2012 - 2do Cuatrimestre
Si todavía no lo hiciste, por favor completá esta encuesta: Encuesta de la materia
Prácticos
Aquí iremos poniendo los prácticos que usaremos en esta materia.
Listado de axiomas y teoremas
Guías para utilización de herramientas Ghc e Ithaca; y mundos para Ithaca
Haskell
Ithaca
Condiciones de aprobación y promoción
- Regularidad: dos parciales (o recuperatorios) aprobados con más del 60%
- Promoción: dos parciales aprobados (o recuperatorios) con más del 80%
Calendario de la materia
Esta es la lista de clases que tendremos este cuatrimestre. Se detallan los temas que se verán el la clase teórico-práctica asi como los prácticos en los que trabajaremos ese día.
| Día | Temas | Práctico | Bibliografía |
|---|---|---|---|
| 20-08 | Feriado | ||
| 22-08 | Introducción a funciones | P1 | |
| 27-08 | Funciones simples y tipado | P1 | |
| 29-08 | Listas, tipado de listas, introduccion a recursión | P2 | Cap 3 [1] |
| 03-08 | Funciones recursivas sobre listas | P2 | Cap 3 [1] |
| 05-09 | Funciones recursivas sobre listas | P2 | Cap 3 [1] |
| 10-09 | Inducción sobre listas | P2 | Cap 4 [1] |
| 12-09 | Inducción sobre listas | P2 | Cap 4 [1] |
| 17-09 | Parcialito Práctico | P1 y P2 | |
| 19-09 | Consultas | P1 y P2 | |
| 24-09 | Feriado | ||
| 26-09 | Semántica de lógica proposicional | P3 | Cap 2 [2] |
| 01-10 | Semántica de lógica proposicional | P3 | Cap 2 [2] |
| 03-10 | Consultas | P1, P2 y P3 | |
| 08-10 | Feriado | ||
| 09-10 | Consultas de 2 a 4pm (labo 28) | P1, P2 y P3 | |
| 10-10 | Primer Parcial | P1, P2 y P3 | |
| 15-10 | Cálculo proposicional | P4 | Cap 3 [2] |
| 17-10 | Cálculo proposicional | P4 | Cap 3 [2] |
| 22-10 | Cálculo proposicional | P4 | Cap 3 [2] |
| 24-10 | Semántica de lógica de predicados + Parcialito P4 | P5 | Cap 5 [2] |
| 29-10 | Formalización de especificaciones | P5 | Cap 5 [2] |
| 31-10 | Cálculo de predicados | P5 | Cap 5 [2] |
| 05-11 | Cálculo de predicados | P5 | Cap 5 [2] |
| 07-11 | Cálculo de predicados + Parcialito P5 | P5 | Cap 5 [2] |
| 12-11 | Cierre de la materia y consultas | P4 y P5 | |
| 14-11 | Segundo Parcial | P4 y P5 | |
| 19-11 | Consultas | P1 a P5 | |
| 21-11 | Recuperatorios | P1 a P5 |
Bibliografía
- [1] Discrete Mathematics Using a Computer, by John O'Donnell, Cordelia Hall and Rex Page, Springer, 2006. Capítulo 3 Capítulo 4
- [2] Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008. Acá hay disponible una versión digital del libro. Aviso importante: La fórmula enunciada como Teorema 5.22 no es válida y por lo tanto, no puede ser usada en demostraciones.