====== 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):** [[http://groups.google.com/group/introalg2012-2c|Grupo Introalg 2012 - 2do Cuatrimestre]] **Si todavía no lo hiciste, por favor completá esta encuesta:** [[https://docs.google.com/spreadsheet/viewform?formkey=dGtTam02ZEZsUlNpYldscnFpQ3FkRFE6MQ#gid=0|Encuesta de la materia]] ===== Prácticos ===== Aquí iremos poniendo los prácticos que usaremos en esta materia. * {{:introalg:[[practico1-2012-2c.pdf]]|Práctico 1}} * {{:introalg:[[practico2-2012-2c.pdf]]|Práctico 2}} * {{:introalg:[[practico3-2012-2c.pdf]]|Práctico 3}} * {{:introalg:[[practico4-2012-2c.pdf]]|Práctico 4}} * {{:introalg:[[practico5-2012-2c.pdf]]|Práctico 5}} ===== Listado de axiomas y teoremas ===== * {{:introalg:digesto-rev1467.pdf|Listado de axiomas y teoremas del cálculo proposicional}} * {{:introalg:axiomas-y-teoremas-lpo_3_.pdf|Listado de axiomas y teoremas del cálculo de predicados}} ===== Guías para utilización de herramientas Ghc e Ithaca; y mundos para Ithaca ===== Haskell * {{:introalg:guia-ghc.pdf|Guía práctica para instalación y uso de compilador haskell (ghc)}} * [[http://hackage.haskell.org/platform/|Página de Haskell con versiones para Linux, Windows y Mac, para instalar]] Ithaca * {{:introalg:formalismo_basico_a_itk_final.pdf|Guía de la notación de Ithaca}} * [[http://www3.unileon.es/proyectos/ithaca/|Página de Ithaca (contiene instrucciones de instalación y manual de usuario)]] * {{:introalg:mundos-ithaca.zip|Mundos para Ithaca - necesarios para resolver el práctico 5}} ===== 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. {{:introalg:cap3.pdf|Capítulo 3}} {{:introalg:cap4.pdf|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 [[http://www.cs.famaf.unc.edu.ar/~nicolasw/Docencia/PCeJ/2008/cdp.pdf| 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.