Diferencias

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

--- introalg:recursado12 [2012/09/28 18:23] – benotti
+++ introalg:recursado12 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 24: / Línea 24: @@
   * {{:introalg:[[practico2-2012-2c.pdf]]|Práctico 2}}
   * {{:introalg:[[practico3-2012-2c.pdf]]|Práctico 3}}
+  * {{:introalg:[[practico4-2012-2c.pdf]]|Práctico 4}}
+  * {{:introalg:[[practico5-2012-2c.pdf]]|Práctico 5}}
 ===== Listado de axiomas y teoremas =====
@@ Línea 30: / 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 69: / Línea 73: @@
 | 09-10 | Consultas de 2 a 4pm (labo 28)| P1, P2 y P3 | |
 | 10-10 | **Primer Parcial** | P1, P2 y P3 | |
-| 15-10 | Semántica de lógica de predicados  | P4 | Cap 3 [2] |
+| 15-10 | Cálculo proposicional | P4 | Cap 3 [2] |
 | 17-10 | Cálculo proposicional | P4 | Cap 3 [2] |
 | 22-10 | Cálculo proposicional | P4 | Cap 3 [2] |
-| 24-10 | Cálculo de predicados | P5 | Cap 5 [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] |
-| 08-11 | Análisis de razonamientos (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 | |