Diferencias

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

--- introalg:cursado15 [2015/03/09 19:53] – renato
+++ introalg:cursado15 [2025/11/15 13:47] (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]]
@@ Línea 45: / Línea 45: @@
 | 23/03 | FERIADO |
 | 25/03 | Funciones recursivas sobre listas | 2 | Cap 3 [1] |
-| 30/03
+| 30/03 | Inducción | 2 | Cap 4 [1] |
-Inducción
+| 01/04 | Inducción | 2 | Cap 4 [1] |
-P2
+| 06/04 | Inducción | 2 | Cap 4 [1] |
-Cap 4 [1]
+| 08/04 | Semántica de lógica proposicional | 3 | Cap 3 [2] |
-M01-04
+| 13/04 | Semántica de lógica proposicional | 3 | Cap 3 [2] |
-Inducción
+| 15/04 | Consultas para el parcial | 1, 2 y 3 |
-P2
+| 20/04 | Primer Parcial | 1, 2 y 3 |
-Cap 4 [1]
+| 22/04 | Cálculo proposicional | 4 | Cap 3 [2] |
-L06-04
+| 27/04 | Cálculo proposicional | 4 | Cap 3 [2] |
-Inducción
+| 29/04 | Cálculo proposicional | 4 | Cap 3 [2] |
-P2
+| 04/05 | Semántica de lógica de predicados | 4 y 5 | Cap 6 [2] |
-Cap 4 [1]
+| 06/05 | Semántica de lógica de predicados | 5 | Cap 6 [2] |
-M08-04
+| 11/05 | Formalización de especificaciones | 5 | Cap 6 [2] |
-Semántica de lógica proposicional
+| 13/05 | Formalización de especificaciones | 5 | Cap 6 [2] |
-P3
+| 18/05 | Formalización de especificaciones | 5 | Cap 6 [2] |
-Cap 3 [2]
+| 20/05 | Cálculo de predicados | 5 | Cap 7 [2] |
-L13-04
+| 25/05 | FERIADO |
-Semántica de lógica proposicional
+| 27/05 | SEMANA DE MAYO |
-P3
+| 01/06 | Cálculo de predicados | 5 | Cap 7 [2] |
-Cap 3 [2]
+| 03/06 | Cierre de la materia y consultas | 4 y 5 |
-M15-04
+| 08/06 | Segundo Parcial | 4 y 5 |
-Consultas para el parcial
+| 10/06 | Consultas | todos |
-P1, P2 y P3
+| 15/06 | Recuperatorios | todos |
+| 17/06 | Muestra de recuperatorios y consultas para final | todos |
-L20-04
-Primer Parcial
-P1, P2 y P3
-M22-04
-Cálculo proposicional
-P4
-Cap 3 [2]
-L27-04
-Cálculo proposicional
-P4
-Cap 3 [2]
-M29-04
-Cálculo proposicional
-P4
-Cap 3 [2]
-L04-05
-Semántica de lógica de predicados
-P4 y P5
-Cap 6 [2]
-M06-05
-Semántica de lógica de predicados
-P5
-Cap 6 [2]
-L11-05
-Formalización de especificaciones
-P5
-Cap 6 [2]
-M13-05
-Formalización de especificaciones
-P5
-Cap 6 [2]
-L18-05
-Formalización de especificaciones
-P5
-Cap 6 [2]
-M20-05
-Cálculo de predicados
-P5
-Cap 7 [2]
-L25-05
-FERIADO REVOLUCIÓN DE MAYO
-M27-05
-SEMANA DE MAYO
-L01-06
-Cálculo de predicados
-P5
-Cap 7 [2]
-M03-06
-Cierre de la materia y consultas
-P4 y P5
-L08-06
-Segundo Parcial
-M10-06
-Consultas
-todos
-L15-06
-Recuperatorios
-todos
-M17-06
-Muestra de Recuperatorios y Consultas para Final
 ===== 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 178: / Línea 94: @@
 ===== 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|}}