Diferencias

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

--- introalg:recursado11 [2011/09/29 14:16] – walteralini
+++ introalg:recursado11 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 22: / Línea 22: @@
   * {{:introalg:practico2-2011-2c.pdf|Práctico 2}}
   * {{:introalg:practico3-2011-2c.pdf|Práctico 3}}
-  * {{:introalg:practico4-2011-2c.pdf|Práctico 4 (primera parte)}}
+  * {{:introalg:practico4-2011-2c-completo-v3.pdf|Práctico 4}}
+  * {{:introalg:practico5-2011-2c-v2.pdf|Práctico 5}}
@@ Línea 55: / Línea 56: @@
 | 09-08 | Presentación, organizacion, razonamiento ecuacional | P1 | Cap 1 |
 | 11-08 | Validez y satisfactibilidad, precedencia y tipado  | P1 | Cap 1 |
-| 16-08 | Operadores y tipado con listas | Fin P1 | Cap 7 |
+| 16-08 | Operadores y tipado con listas | Fin P1 | Sec 7.10 |
 | 18-08 | Funciones simples | P2 | Cap 3 (*) |
 | 23-08 | Funciones recursivas básicas | P2 | Cap 3 (*) |
-| 25-08 | Listas por comprensión | P2 | Cap 10 |
+| 25-08 | Listas por comprensión | P2 |||
 | 30-08 | Funciones recursivas complejas | P2 | Cap 3 (*) |
 | 01-09 | Introducción a Inducción | P2 | Cap 4 (*) y Cap 10 |
@@ Línea 65: / Línea 66: @@
 | 13-09 | Consultas | Fin P3 | |
 | 15-09 | **Primer Parcial** (aula 13)| P1, P2 y P3 | |
-| 27-09 | Calculo proposicional: reglas de inferencia  | P4 | Cap 3 |
+| 27-09 | Cálculo proposicional: reglas de inferencia  | P4 | Cap 3 |
-| 29-09 | Calculo proposicional: axiomas/teoremas ≡, ¬, ≠  | P4 | Cap 3|
+| 29-09 | Cálculo proposicional: axiomas/teoremas ≡, ¬, ≠  | P4 | Cap 3|
-| 04-10 | Calculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 |
+| 04-10 | Cálculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 |
-| 06-10 | Calculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 |
+| 06-10 | Cálculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 |
 | 11-10 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | Cap 4 |
-| 13-10 | **Parcialito Practico** (fecha tentativa) | P4 | |
+| 13-10 | Repaso de proposicional y **Parcialito Práctico** | P4 | |
-| 18-10 | Calculo de predicados (semantica y operadores) | P5 | Cap 5 |
+| 18-10 | Cálculo de predicados (semántica y operadores) | P5 | Cap 5 |
 | 20-10 | Construcción de modelos y formalización de enunciados | P5 | |
-| 25-10 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 |
+| 25-10 | Cálculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 |
-| 27-10 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 |
+| 27-10 | Cálculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 |
-| 01-11 | Calculo de predicados: debilitamiento y monotonia | P5 | Cap 5 |
+| 01-11 | Cálculo de predicados: debilitamiento y monotonia | P5 | Cap 5 |
-| 03-11 | Analisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 |
+| 03-11 | Análisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 |
 | 08-11 | Cierre de la materia y consultas | P1 a P5 | |
-| 10-11 | **Segundo Parcial**  (fecha tentativa)| P4 y P5 | |
+| 10-11 | **Segundo Parcial** | P4 y P5 | |
 | 15-11 | Consultas | P1 a P5 | |
-| 18-06 | **Recuperatorios** (fecha tentativa) | P1 a P5 | |
+| 17-11 | **Recuperatorios** | P1 a P5 | |
 ===== Bibliografía =====
-   * Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008. Acá hay disponible [[http://www.cs.famaf.unc.edu.ar/~nicolasw/Docencia/PCeJ/2008/cdp.pdf| una versión digital]] del libro. **Aclaración**: esta versión difiere mínimamente de la versión impresa en el Depto. de Publicaciones
+   * Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008. Acá hay disponible [[http://www.cs.famaf.unc.edu.ar/~nicolasw/Docencia/PCeJ/2008/cdp.pdf| una versión digital]] del libro. **Aviso importante**: La fórmula enunciada como Teorema 5.22 **no es válida** y por lo tanto, no puede ser usada en demostraciones.
    * (*) Discrete Mathematics Using a Computer, by John O'Donnell, Cordelia Hall and Rex Page, Springer, 2006. {{:introalg:cap3.pdf|Capítulo 3}} {{:introalg:cap4.pdf|Capítulo 4}}