Diferencias

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

--- introalg:cursado15 [2015/03/09 23:25] – [Docentes] renato
+++ introalg:cursado15 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ 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 72: / Línea 72: @@
   * {{: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 91: / 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|}}