Introducción a los Algoritmos: 2do Cuatrimestre del 2011

Horario de clases

Teórico: Martes y Jueves de 9 a 11 (aula 13) - Luciana Benotti
Práctico: Martes y Jueves de 11 a 13 (laboratorio 28) - Araceli Acosta, Walter Alini y Ezequiel Orbe

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 (no vamos a contestar mails que digan, por ejemplo, “cuál es la solución del ejercicio 8a”).
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 2011 - 2do Cuatrimestre

Prácticos

Aquí iremos haciendo disponibles los prácticos de la materia. También estarán disponibles en la fotocopiadora de la facultad.

Listado de axiomas y teoremas

Guías para utilización de herramientas Yahc, Ghc e Ithaca; y mundos para 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%

Jueves por medio se pedirá la entrega de algunos ejercicios seleccionados. El promedio de la nota de estos ejercicios, se sumará a la nota del parcial al que correspondan, pudiendo subir la nota hasta en 10 puntos sobre 100. El “parcialito práctico” se promediará con la nota de estos ejercicios.

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órica asi como los prácticos correspondientes de las clases prácticas. En la columna bibliografía detallamos el capítulo del libro que corresponde al tema de la clase.

Día	Temas	Práctico	Bibliografía
09-08	Presentación, organizacion, razonamiento ecuacional	P1	Cap 1
11-08	Validez y satisfactibilidad, precedencia y tipado	P1	Cap 1
16-08	Operadores y tipado con listas	Fin P1	Sec 7.10
18-08	Funciones simples	P2	Cap 3 (*)
23-08	Funciones recursivas básicas	P2	Cap 3 (*)
25-08	Listas por comprensión	P2
30-08	Funciones recursivas complejas	P2	Cap 3 (*)
01-09	Introducción a Inducción	P2	Cap 4 (*) y Cap 10
06-09	Inducción sobre listas	Fin P2	Cap 4 (*) y Cap 10
08-09	Lógica Proposicional: Semántica	P3	Cap 2
13-09	Consultas	Fin P3
15-09	Primer Parcial (aula 13)	P1, P2 y P3
27-09	Cálculo proposicional: reglas de inferencia	P4	Cap 3
29-09	Cálculo proposicional: axiomas/teoremas ≡, ¬, ≠	P4	Cap 3
04-10	Cálculo proposicional: axiomas/teoremas Λ, ∨	P4	Cap 3
06-10	Cálculo proposicional: axiomas/teoremas ⇒, ⇐	P4	Cap 3
11-10	Análisis de razonamientos (cálculo proposicional)	Fin P4	Cap 4
13-10	Repaso de proposicional y Parcialito Práctico	P4
18-10	Cálculo de predicados (semántica y operadores)	P5	Cap 5
20-10	Construcción de modelos y formalización de enunciados	P5
25-10	Cálculo de predicados: propiedades, axiomas, teoremas del ∃	P5	Cap 5
27-10	Cálculo de predicados: propiedades, axiomas, teoremas del ∀	P5	Cap 5
01-11	Cálculo de predicados: debilitamiento y monotonia	P5	Cap 5
03-11	Análisis de razonamientos (cálculo de predicados)	Fin P5	Cap 5
08-11	Cierre de la materia y consultas	P1 a P5
10-11	Segundo Parcial	P4 y P5
15-11	Consultas	P1 a P5
17-11	Recuperatorios	P1 a P5

Bibliografía

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.
(*) Discrete Mathematics Using a Computer, by John O'Donnell, Cordelia Hall and Rex Page, Springer, 2006. Capítulo 3 Capítulo 4