Diferencias

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

--- introalg:cursado11 [2011/04/18 20:51] – benotti
+++ introalg:cursado11 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 37: / Línea 37: @@
   * {{:introalg:practico4.pdf|}}
+  * {{:introalg:practico5.pdf|}}
 ===== Resoluciones de ejercicios marcados con :) =====
@@ Línea 44: / 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 y Ghc =====
+===== Guías para utilización de herramientas Yahc, Ghc e Ithaca; y mundos para Ithaca =====
   * {{:introalg:guia-ghc.pdf|Guía práctica para instalación y uso de compilador haskell (ghc)}}
   * {{:introalg:guia-yahc.pdf|Guía práctica para uso de verificador del derivaciones yahc}}
+  * {{:introalg:formalismo_basico_a_itk_final.pdf|Guía de la notación de Ithaca}}
+  * [[http://www3.unileon.es/proyectos/ithaca/|Página de Ithaca (contiene instrucciones de instalación y manual de usuario)]]
+  * {{:introalg:mundos-ithaca.zip|Mundos para Ithaca - necesarios para resolver el práctico 5}}
@@ Línea 73: / Línea 80: @@
 | 06-04 | Consultas | Fin P3 | |
 | 11-04 | **Primer Parcial Definitiva**| P1, P2 y P3 | |
-| 13-04 | Calculo proposicional: reglas de inferencia  | P4 | |
+| 13-04 | Calculo proposicional: reglas de inferencia  | P4 | Cap 3 |
-| 18-04 | Calculo proposicional: axiomas/teoremas ≡, ¬, ≠  | P4 | |
+| 18-04 | Calculo proposicional: axiomas/teoremas ≡, ¬, ≠  | P4 | Cap 3|
-| 20-04 | Calculo proposicional: axiomas/teoremas Λ, ∨ | P4 | |
+| 20-04 | Calculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 |
-| 25-04 | Calculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | |
+| 25-04 | Calculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 |
-| 27-04 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | |
+| 27-04 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | Cap 4 |
-| 02-05 | Calculo de predicados (semantica, operadores y tipado) | P5 | |
+| 02-05 | Calculo de predicados (semantica y operadores) | P5 | Cap 5 |
-| 04-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | |
+| 04-05 | Construcción de modelos y formalización de enunciados | P5 | |
-| 09-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | |
+| 09-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 |
-| 11-05 | Calculo de predicados: debilitamiento y monotonia | P5 | |
+| 11-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 |
-| 16-05 | Calculo de predicados: demostraciones | P5 | |
+| 16-05 | Calculo de predicados: debilitamiento y monotonia | P5 | Cap 5 |
-| 18-05 | Formalización de proposiciones con predicados | P5 | |
+| 18-05 | Calculo de predicados: demostraciones | P5 | Cap 5 |
-| 30-05 | Analisis de razonamientos (cálculo de predicados) | Fin P5 | |
+| 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 | |