Diferencias

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

--- introalg:cursado11 [2011/05/04 20:21] – benotti
+++ introalg:cursado11 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 45: / Línea 45: @@
 ===== Listado de axiomas y teoremas =====
-  * {{:introalg:digesto.pdf|Listado de axiomas y teoremas del cálculo proposicional}}
+  * {{:introalg:digesto-rev1467.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}}
 ===== Guías para utilización de herramientas Yahc, Ghc e Ithaca; y mundos para Ithaca =====
@@ Línea 92: / Línea 93: @@
 | 30-05 | Analisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 |
 | 01-06 | Cierre de la materia y consultas | P1 a P5 | |
-| 06-06 | **Segundo Parcial** (fecha tentativa) | P4 y P5 | |
+| 06-06 | Consultas | P1 a P5 | |
-| 08-06 | Consultas  | P1 a P5 | |
+| 08-06 | **Segundo Parcial**  | P4 y P5 | |
 | 13-06 | **Recuperatorio Primer Parcial** (fecha tentativa) | P1, P2 y P3 | |
 | 15-06 | **Recuperatorio Segundo Parcial** (fecha tentativa)| P4 y P5 | |