====== Introducción a los Algoritmos: 1er cuatrimestre del 2015 ====== ===== Docentes ===== * Araceli Acosta (encargada) * Luciana Benotti (encargada) * Walter Alini * Alejandro Gadea ===== Horario de clases ===== * Martes y jueves de 9 a 13 hs. en aula (laboratorio) 28. ===== Contacto ===== Para la comunicación entre los estudiantes y docentes vamos a usar un [[https://es.wikipedia.org/wiki/Lista_de_correo_electr%C3%B3nico|grupo de e-mail]]. Cualquier pregunta o información que sea importante para la materia puede ser enviada a este grupo. Un grupo o lista de e-mail permite la distribución de e-mails a múltiples usuarios (potencialmente anónimos) de forma simultánea. En una lista de correo, al enviar un mensaje a la dirección de la lista, este llegará a la dirección de todas las personas inscriptas en ella. Al responder un mensaje, también lo haremos a todos los integrantes de la lista (salvo que indiquemos lo contrario en el campo "Para:"). Para suscribirte, envía un e-mail a ''introalg2015-2c+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-2c]] ===== 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:** aprobar 2 parciales (o recuperatorios) con nota mayor a 50 en cada uno, un 50 es el 50% del parcial. * **Promoción:** aprobar 2 parciales (o recuperatorios) con nota mayor a 70 en cada uno, un 70 es el 70% del parcial. ===== Fechas (tentativas) de parciales ===== * **1er Parcial:** Jueves 17 de septiembre de 2015. * **2do Parcial:** Martes 10 de noviembre de 2015. * **Recuperatorio:** Martes 17 de noviembre de 2015. ===== Calendario (tentativo) de la materia ===== ^ Día ^ Temas ^ Práctico ^ Bibliografía ^ | Martes 11/08 | Semántica de lógica proposicional. Validez y Satisfactibilidad | 1 | Cap 6 [3], Cap 2 [2] | | Jueves 13/08 | Semántica de lógica proposicional. Validez y Satisfactibilidad | 1 | Cap 7 [3], Cap 3 [2] | | Martes 18/08 | Cálculo proposicional | 2 | Cap 7 [3], Cap 3 [2] | | Jueves 20/08 | Cálculo proposicional | 2 | Cap 7 [3], Cap 3 [2] | | Martes 25/08 | Cálculo proposicional | 2 | Cap 7 [3], Cap 3 [2] | | Jueves 27/08 | Semántica de lógica de predicados | 3 | Cap 8 [3], Cap 5 [2] | | Martes 01/09 | Semántica de lógica de predicados. Especificaciones | 3 | Cap 8 [3], Cap 5 [2] | | Jueves 03/09 | Cálculo de predicados | 3 | Cap 9 [3], Cap 5 [2] | | Martes 08/09 | Cálculo de predicados | 3 | Cap 9 [3], Cap 5 [2] | | Jueves 10/09 | Cálculo de predicados | 3 | Cap 9 [3], Cap 5 [2] | | Martes 15/09 | Consultas para el parcial | | | | Jueves 17/09 | **Primer Parcial** | 1, 2 y 3 | | | Martes 22/09 | //SEMANA DEL ESTUDIANTE// | | | | Jueves 24/09 | //SEMANA DEL ESTUDIANTE// | | | | Martes 29/09 | Definición de funciones simples | 4 | [3,5] | | Jueves 01/10 | Funciones por casos y tuplas | 4 | [3,5] | | Martes 06/10 | Muestra del parcial, tuplas y listas | 4 | [3,5] | | Jueves 08/10 | Listas, tipado de listas | 4 | [3,5] | | Martes 13/10 | Recursión | 5 | Cap 4 [4] | | Jueves 15/10 | Funciones recursivas sobre listas | 5 | Cap 4 [4] | | Martes 20/10 | Funciones recursivas sobre listas. Especificaciones | 5 | Cap 4 [4] | | Jueves 22/10 | Especificaciones | 5 | Cap 4 [4] | | Martes 27/10 | Inducción | 5 | Cap 4 [4] | | Jueves 29/10 | Inducción | 5 | Cap 4 [4] | | Martes 03/11 | Inducción | 5 | Cap 4 [4] | | Jueves 05/11 | Consultas para el parcial | 4 y 5 | | | Martes 10/11 | **Segundo Parcial** | 4 y 5 | | | Jueves 12/11 | Muestra de parcial y Consultas | 1, 2, 3, 4 y 5 | | | Martes 17/11 | **Recuperatorios** | 1, 2, 3, 4 y 5 | | | Jueves 19/11 | Muestra de recuperatorios y consultas para el final | 1, 2, 3, 4 y 5 | | ===== Prácticos ===== * {{:introalg:practico1-2015-2c.pdf| Práctico 1}} * {{:introalg:practico2-2015-2c.pdf| Práctico 2}} * {{:introalg:practico3-2015-2c.pdf| Práctico 3}} * {{:introalg:practico4-2015-2c.pdf| Práctico 4}} * {{:introalg:practico5-2015-2c.pdf| Práctico 5}} ===== Listado de axiomas y teoremas ===== * {{:introalg:digesto-proposicional-2015-2c.pdf|Listado de axiomas y teoremas del cálculo proposicional}} * {{:introalg:digesto-predicados-2015-2c.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|}} * [4] Traducción capítulo 3 sobre Recusión del libro [1] (Discrete Mathematics Using a Computer {{:introalg:extracto_cap_3_recursion.pdf}} * [5] ¡Aprende Haskell por el bien de todos! [[http://aprendehaskell.es/main.html]] ===== Encuesta de la materia ===== Por favor, completá esta [[https://docs.google.com/forms/d/1qXGE-fYRQohLpu3EKHM0iR3YDWJVpBhONTLUzqb5F6w/viewform | encuesta]] de comienzo del segundo cuatrimestre de Introducción a los Algoritmos ===== Parciales viejos ===== * [[http://www.famaf.proed.unc.edu.ar/pluginfile.php/13622/mod_resource/content/1/parcial-2-manana.pdf | Parcial]] * [[http://www.famaf.proed.unc.edu.ar/pluginfile.php/13622/mod_resource/content/1/parcial-2-tarde.pdf | Parcial]]