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 =====

  * 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|}}