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	Cap 7
18-08	Funciones simples	P2	Cap 3 (*)
23-08	Funciones recursivas básicas	P2	Cap 3 (*)
25-08	Listas por comprensión	P2	Cap 10
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	Calculo proposicional: reglas de inferencia	P4	Cap 3
29-09	Calculo proposicional: axiomas/teoremas ≡, ¬, ≠	P4	Cap 3
04-10	Calculo proposicional: axiomas/teoremas Λ, ∨	P4	Cap 3
06-10	Calculo proposicional: axiomas/teoremas ⇒, ⇐	P4	Cap 3
11-10	Análisis de razonamientos (cálculo proposicional)	Fin P4	Cap 4
13-10	Parcialito Practico (fecha tentativa)	P4
18-10	Calculo de predicados (semantica y operadores)	P5	Cap 5
20-10	Construcción de modelos y formalización de enunciados	P5
25-10	Calculo de predicados: propiedades, axiomas, teoremas del ∃	P5	Cap 5
27-10	Calculo de predicados: propiedades, axiomas, teoremas del ∀	P5	Cap 5
01-11	Calculo de predicados: debilitamiento y monotonia	P5	Cap 5
03-11	Analisis 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 (fecha tentativa)	P4 y P5
15-11	Consultas	P1 a P5
18-06	Recuperatorios (fecha tentativa)	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. Aclaración: esta versión difiere mínimamente de la versión impresa en el Depto. de Publicaciones

(*) Discrete Mathematics Using a Computer, by John O'Donnell, Cordelia Hall and Rex Page, Springer, 2006. Capítulo 3 Capítulo 4