Diferencias

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

--- introalg:recursado12 [2012/10/21 17:12] – benotti
+++ introalg:recursado12 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 32: / Línea 32: @@
   * {{: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 =====
+===== Guías para utilización de herramientas Ghc e Ithaca; y mundos para Ithaca =====
+Haskell
   * {{:introalg:guia-ghc.pdf|Guía práctica para instalación y uso de compilador haskell (ghc)}}
   * [[http://hackage.haskell.org/platform/|Página de Haskell con versiones para Linux, Windows y Mac, para instalar]]
-  * {{:introalg:guia-yahc.pdf|Guía práctica para uso de verificador del derivaciones yahc}}
+Ithaca
   * {{: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)]]
@@ Línea 75: / Línea 77: @@
 | 22-10 | Cálculo proposicional | P4 | Cap 3 [2] |
 | 24-10 | Semántica de lógica de predicados + Parcialito P4 | P5 | Cap 5 [2] |
-| 29-10 | Cálculo de predicados | P5 | Cap 5 [2] |
+| 29-10 | Formalización de especificaciones | P5 | Cap 5 [2] |
 | 31-10 | Cálculo de predicados | P5 | Cap 5 [2] |
 | 05-11 | Cálculo de predicados | P5 | Cap 5 [2] |
 | 07-11 | Cálculo de predicados + Parcialito P5 | P5 | Cap 5 [2] |
-| 12-11 | Cierre de la materia y consultas | P1 a P5 | |
+| 12-11 | Cierre de la materia y consultas | P4 y P5 | |
 | 14-11 | **Segundo Parcial** | P4 y P5 | |
 | 19-11 | Consultas | P1 a P5 | |