Diferencias

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

--- introalg:cursado15 [2015/04/13 14:40] – [Prácticos] renato
+++ introalg:cursado15 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 74: / Línea 74: @@
   * {{: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 =====