Ciencias de la Computación FAMAF

Esta página es de solo lectura. Puedes ver la fuente pero no puedes cambiarla. Pregunta a tu administrador si crees que esto es incorrecto.
====== 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]]