Diferencias

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

--- introalg:cursado15 [2015/03/09 23:28] – [Contacto] renato
+++ introalg:cursado15 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ 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|}}