====== Introducción a los Algoritmos: 1er cuatrimestre del 2015 ====== ===== Docentes ===== * Comisión 1: Araceli Acosta (encargada) y Renato Cherini. * Comisión 2: Pedro Sanchez Terraf (encargado) y Walter Alini. * Comisión 3: Paula Estrella (encargada) y Mauricio Tellechea. * Comisión 4: Carlos Areces (encargado) y Raul Fervari. Los ayudantes alumno Diego Piloni y Lucía Papaterra se reparten entre las diferentes comisiones. ===== Horario de clases ===== * Comisión 1: lunes de 9 a 13 hs. en aula 28, miércoles de 9 a 13 hs. en aula 20. * Comisión 2: lunes de 9 a 13 hs. en aula 20, miércoles de 9 a 13 hs. en aula 28. * Comisión 3: lunes de 14 a 16 hs. en aula 28, lunes de 16 a 18 hs. en aula 20, miércoles de 14 a 16 hs. en aula 28, miércoles de 16 a 18 hs. en aula 20. * Comisión 4: lunes de 14 a 16 hs. en aula 20, lunes de 16 a 18 hs. en aula 28, miércoles de 14 a 16 hs. en aula 20, miércoles de 16 a 18 hs. en aula 28. ===== Contacto ===== En la ** Comisión 1 ** usamos un grupo de e-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. Para suscribirte, envía un e-mail a ''introalg2015+subscribe@googlegroups.com'' y respondé el e-mail de confirmación que te llegará a tu casilla de correo. La página del grupo es [[http://groups.google.com/group/introalg2015]] ===== Condiciones de aprobación y promoción ===== La evaluación de la materia durante el año se hará en dos parciales, y una instancia de recuperatorio al finalizar el cuatrimestre, oportunidad en la cual se podrán recuperar ambos parciales. * **Regularidad:** dos parciales (o recuperatorios) aprobados con nota mayor a 5. * **Promoción:** dos parciales(o recuperatorios) aprobados con nota mayor a 7 y 80% de asistencia. ===== Fechas tentativas de parciales ===== * **1er Parcial:** 20 de abril. * **2do Parcial:** 8 de junio. * **Recuperatorio:** 15 de junio. ===== Calendario tentativo de la materia ===== ^ Día ^ Temas ^ Práctico ^ Bibliografía ^ | 09/03 | Introducción a expresiones. Variables, constantes, operadores. Precedencia y tipado. | 1 | Cap 1 [1] | | 11/03 | Funciones simples y tipado | 1 | Cap 1 [1] | | 16/03 | Validez y satisfactibilidad. Funciones por casos. | 1 | Cap 1 [1] | | 18/03 | Listas, tipado de listas, introducción a recursión | 2 | Cap 3 [1] | | 23/03 | FERIADO | | 25/03 | Funciones recursivas sobre listas | 2 | Cap 3 [1] | | 30/03 | Inducción | 2 | Cap 4 [1] | | 01/04 | Inducción | 2 | Cap 4 [1] | | 06/04 | Inducción | 2 | Cap 4 [1] | | 08/04 | Semántica de lógica proposicional | 3 | Cap 3 [2] | | 13/04 | Semántica de lógica proposicional | 3 | Cap 3 [2] | | 15/04 | Consultas para el parcial | 1, 2 y 3 | | 20/04 | Primer Parcial | 1, 2 y 3 | | 22/04 | Cálculo proposicional | 4 | Cap 3 [2] | | 27/04 | Cálculo proposicional | 4 | Cap 3 [2] | | 29/04 | Cálculo proposicional | 4 | Cap 3 [2] | | 04/05 | Semántica de lógica de predicados | 4 y 5 | Cap 6 [2] | | 06/05 | Semántica de lógica de predicados | 5 | Cap 6 [2] | | 11/05 | Formalización de especificaciones | 5 | Cap 6 [2] | | 13/05 | Formalización de especificaciones | 5 | Cap 6 [2] | | 18/05 | Formalización de especificaciones | 5 | Cap 6 [2] | | 20/05 | Cálculo de predicados | 5 | Cap 7 [2] | | 25/05 | FERIADO | | 27/05 | SEMANA DE MAYO | | 01/06 | Cálculo de predicados | 5 | Cap 7 [2] | | 03/06 | Cierre de la materia y consultas | 4 y 5 | | 08/06 | Segundo Parcial | 4 y 5 | | 10/06 | Consultas | todos | | 15/06 | Recuperatorios | todos | | 17/06 | Muestra de recuperatorios y consultas para final | todos | ===== Prácticos ===== * {{:introalg:practico1-2015.pdf| Práctico 1}} * {{:introalg:practico2-2015.pdf| Práctico 2}} * {{:introalg:practico3-2015.pdf| Práctico 3}} * {{:introalg:practico4-2015.pdf| Práctico 4}} * {{:introalg:practico5-2015.pdf| Práctico 5}} ===== Listado de axiomas y teoremas ===== * {{:introalg:digesto-proposicional.pdf|Listado de axiomas y teoremas del cálculo proposicional}} * {{:introalg:digesto-predicados.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}} ===== Bibliografía ===== * [1] John O'Donnell, Discrete Mathematics Using a Computer, 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**: Las fórmulas enunciadas como Teoremas 5.22 y 5.30 **no son válidas** y por lo tanto, no pueden ser usadas en demostraciones. * [3] Araceli Acosta, Renato Cherini, Miguel Pagano, Leticia Losano, Material de estudio (preliminar). {{:introalg:material.pdf|}}