====== Introducción a los Algoritmos: Cursado 2011 ====== ===== Horario de clases ===== * **Teórico:** Lunes y Miércoles de 14 a 16 (aula B1) - Docente Carlos Areces * **Práctico-taller: ** * Comisión 1: Lunes (aula 12) y Miércoles (labo 30) de 16.15 a 18.15 - Docente Luciana Benotti * Comisión 2: Lunes (aula 13) y Miércoles (labo 30) de 16.15 a 18.15 - Docente Mariana Badano * Comisión 3: Lunes (aula 12) y Miércoles (labo 30) de 18.30 a 20.30 - Docente Araceli Acosta * Comision 4: Lunes (labo 28) y Miércoles (aula 12) de 16.15 a 18.15 - Docente Pedro Sánchez Terraf * Comision 5: Lunes (labo 30) y Miércoles (aula 13) de 16.15 a 18.15 - Docente Mauricio Tellechea * Ayudantes alumno: Malku Ernesto Soldevilla Raffa y Maximiliano David Bustos ===== Encuesta ===== El primer día de clases te pediremos que llenes esta encuesta para ayudarnos a mejorar la materia. **Por favor (si todavía no lo hiciste) completá esta encuesta:** [[https://spreadsheets.google.com/embeddedform?formkey=dE0wckY0MjRRSHNmaUhMYVp5QzRZTHc6MQ|Encuesta 2011]] ===== Contacto ===== En este manteria 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. **Por favor (si todavia no lo hiciste) agregate al grupo de la materia en esta página:** [[http://groups.google.com/group/introalg2011|Grupo Introalg 2011]] ===== Prácticos ===== Aquí iremos colgando los prácticos a medida que estén disponibles. También estarán disponibles en la fotocopiadora de la facultad. * {{:introalg:practico1.pdf|}} * {{:introalg:practico2.pdf}} * {{:introalg:practico3.pdf|}} * {{:introalg:practico4.pdf|}} * {{:introalg:practico5.pdf|}} ===== Resoluciones de ejercicios marcados con :) ===== * {{:introalg:p1-soluciones-ej-4c-5d.pdf}} ===== 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 mas del 60% * **Promoción:** dos parciales aprobados (o recuperatorios) con mas del 80% ===== 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-03 | Presentación, organizacion, intro ecuacional en aritmética | P1 | Cap 1 | | 14-03 | Cálculo ecuacional en aritmética (operadores y tipado) | P1 | Cap 1 | | 16-03 | Operadores y tipado con listas | Fin P1 | Cap 7 | | 21-03 | Inducción y recursión | P2 | Cap 10 | | 23-03 | Inducción y recursión | P2 | Cap 10 | | 28-03 | Inducción y recursión | P2 | Cap 10 | | 30-03 | Listas por comprension | Fin P2 | | | 04-04 | Lógica Proposicional: Semántica | P3 | Cap 2 | | 06-04 | Consultas | Fin P3 | | | 11-04 | **Primer Parcial Definitiva**| P1, P2 y P3 | | | 13-04 | Calculo proposicional: reglas de inferencia | P4 | Cap 3 | | 18-04 | Calculo proposicional: axiomas/teoremas ≡, ¬, ≠ | P4 | Cap 3| | 20-04 | Calculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 | | 25-04 | Calculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 | | 27-04 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | Cap 4 | | 02-05 | Calculo de predicados (semantica y operadores) | P5 | Cap 5 | | 04-05 | Construcción de modelos y formalización de enunciados | P5 | | | 09-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 | | 11-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 | | 16-05 | Calculo de predicados: debilitamiento y monotonia | P5 | Cap 5 | | 18-05 | Calculo de predicados: demostraciones | P5 | Cap 5 | | 30-05 | Analisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 | | 01-06 | Cierre de la materia y consultas | P1 a P5 | | | 06-06 | Consultas | P1 a P5 | | | 08-06 | **Segundo Parcial** | P4 y P5 | | | 13-06 | **Recuperatorio Primer Parcial** (fecha tentativa) | P1, P2 y P3 | | | 15-06 | **Recuperatorio Segundo Parcial** (fecha tentativa)| P4 y P5 | | ===== Bibliografía ===== * Libro: 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. **Aclaración**: esta versión difiere mínimamente de la versión impresa en el Depto. de Publicaciones