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.