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: 2do Cuatrimestre del 2011 ======

===== Horario de clases =====

  * **Teórico:** Martes y Jueves de 9 a 11 (aula 13) - Luciana Benotti
  * **Práctico: ** Martes y Jueves de 11 a 13 (laboratorio 28) - Araceli Acosta, Walter Alini y Ezequiel Orbe
    

===== 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 (no vamos a contestar mails que digan, por ejemplo, "cuál es la solución del ejercicio 8a"). 
  * 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/introalg2011-2C|Grupo Introalg 2011 - 2do Cuatrimestre]]

===== Prácticos =====

Aquí iremos haciendo disponibles los prácticos de la materia. También estarán disponibles en la fotocopiadora de la facultad. 

  * {{:introalg:practico1-2011-2c-v2.pdf|Práctico 1}}
  * {{:introalg:practico2-2011-2c.pdf|Práctico 2}}
  * {{:introalg:practico3-2011-2c.pdf|Práctico 3}}
  * {{:introalg:practico4-2011-2c-completo-v3.pdf|Práctico 4}}
  * {{:introalg:practico5-2011-2c-v2.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 Yahc, Ghc e Ithaca; y mundos para Ithaca =====

  * {{:introalg:guia-ghc.pdf|Guía práctica para instalación y uso de compilador haskell (ghc)}}
  * {{:introalg:guia-yahc.pdf|Guía práctica para uso de verificador del derivaciones yahc}}
  * {{: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% 

Jueves por medio se pedirá la entrega de algunos ejercicios seleccionados. El promedio de la nota de estos ejercicios, se sumará a la nota del parcial al que correspondan, pudiendo subir la nota hasta en 10 puntos sobre 100. El "parcialito práctico" se promediará con la nota de estos ejercicios.  


===== 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órica asi como los prácticos correspondientes de las clases prácticas. En la columna bibliografía detallamos el capítulo del libro que corresponde al tema de la clase.  

^ Día      ^ Temas       ^ Práctico  ^  Bibliografía ^      
| 09-08 | Presentación, organizacion, razonamiento ecuacional | P1 | Cap 1 |
| 11-08 | Validez y satisfactibilidad, precedencia y tipado  | P1 | Cap 1 |
| 16-08 | Operadores y tipado con listas | Fin P1 | Sec 7.10 |
| 18-08 | Funciones simples | P2 | Cap 3 (*) |
| 23-08 | Funciones recursivas básicas | P2 | Cap 3 (*) |
| 25-08 | Listas por comprensión | P2 |||
| 30-08 | Funciones recursivas complejas | P2 | Cap 3 (*) |
| 01-09 | Introducción a Inducción | P2 | Cap 4 (*) y Cap 10 |
| 06-09 | Inducción sobre listas | Fin P2 | Cap 4 (*) y Cap 10| 
| 08-09 | Lógica Proposicional: Semántica  | P3 | Cap 2 |
| 13-09 | Consultas | Fin P3 | |
| 15-09 | **Primer Parcial** (aula 13)| P1, P2 y P3 | |
| 27-09 | Cálculo proposicional: reglas de inferencia  | P4 | Cap 3 |
| 29-09 | Cálculo proposicional: axiomas/teoremas ≡, ¬, ≠  | P4 | Cap 3|
| 04-10 | Cálculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 |
| 06-10 | Cálculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 |
| 11-10 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | Cap 4 |
| 13-10 | Repaso de proposicional y **Parcialito Práctico** | P4 | |
| 18-10 | Cálculo de predicados (semántica y operadores) | P5 | Cap 5 |
| 20-10 | Construcción de modelos y formalización de enunciados | P5 | |
| 25-10 | Cálculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 |
| 27-10 | Cálculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 |
| 01-11 | Cálculo de predicados: debilitamiento y monotonia | P5 | Cap 5 |
| 03-11 | Análisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 |
| 08-11 | Cierre de la materia y consultas | P1 a P5 | |
| 10-11 | **Segundo Parcial** | P4 y P5 | |
| 15-11 | Consultas | P1 a P5 | |
| 17-11 | **Recuperatorios** | P1 a P5 | |

===== Bibliografía =====

   * 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.  
   * (*) 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}}