Diferencias

Muestra las diferencias entre dos versiones de la página.

--- introalg:cursado15 [2015/03/09 22:40] – [Contacto] renato
+++ introalg:cursado15 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 8: / Línea 8: @@
   * Comisión 4: Carlos Areces (encargado) y Raul Fervari.
-Los ayudantes alumno se reparten entre las diferentes comisiones.
+Los ayudantes alumno Diego Piloni y Lucía Papaterra se reparten entre las diferentes comisiones.
 ===== Horario de clases =====
@@ Línea 19: / Línea 19: @@
 ===== 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.
+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]]
-===== Prácticos =====
-Aquí iremos poniendo los prácticos que usaremos en esta materia.
+===== 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-rev1467.pdf|Listado de axiomas y teoremas del cálculo proposicional}}
+  * {{:introalg:digesto-proposicional.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}}
+  * {{: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 =====
@@ Línea 41: / Línea 91: @@
   * [[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 nota mayor a 5.
-  * **Promoción:** dos parciales(o recuperatorios) aprobados con nota mayor a 7 y 80% de asistencia.
-===== Calendario de la materia =====
 ===== Bibliografía =====
-   * [1] 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}}
+   * [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**: La fórmula enunciada como Teorema 5.22 **no es válida** y por lo tanto, no puede ser usada en demostraciones.
+   * [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|}}