Diferencias

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

--- introalg:recursado12 [2012/09/02 17:19] – benotti
+++ introalg:recursado12 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 19: / Línea 19: @@
 ===== Prácticos =====
-Aquí iremos poniendo los prácticos que usaremos en esta materia. También estarán disponibles en la fotocopiadora de la facultad.
+Aquí iremos poniendo los prácticos que usaremos en esta materia.
   * {{:introalg:[[practico1-2012-2c.pdf]]|Práctico 1}}
   * {{: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 29: / 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 56: / Línea 61: @@
 | 29-08 | Listas, tipado de listas, introduccion a recursión | P2 | Cap 3 [1] |
 | 03-08 | Funciones recursivas sobre listas | P2 | Cap 3 [1] |
-| 05-09 | Introducción a Inducción | P2 | Cap 4 [1] |
+| 05-09 | Funciones recursivas sobre listas | P2 | Cap 3 [1] |
 | 10-09 | Inducción sobre listas | P2 | Cap 4 [1]|
 | 12-09 | Inducción sobre listas | P2 | Cap 4 [1]|
+| 17-09 | Parcialito Práctico | P1 y P2 | |
+| 19-09 | Consultas | P1 y P2 | |
 | 24-09 | Feriado  | | |
 | 26-09 | Semántica de lógica proposicional  | P3 | Cap 2  [2]|
-| 01-10 | Semántica de lógica de predicados  | P3 | |
+| 01-10 | Semántica de lógica proposicional  | P3 | Cap 2  [2] |
 | 03-10 | Consultas | P1, P2 y P3 | |
 | 08-10 | Feriado | | |
+| 09-10 | Consultas de 2 a 4pm (labo 28)| P1, P2 y P3 | |
 | 10-10 | **Primer Parcial** | P1, P2 y P3 | |
-| 15-10 | Cálculo proposicional  | P4 | Cap 3 [2] |
+| 15-10 | Cálculo proposicional | P4 | Cap 3 [2] |
 | 17-10 | Cálculo proposicional | P4 | Cap 3 [2] |
-| 22-10 | Análisis de razonamientos (cálculo proposicional) | P4 | Cap 4 [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 | |