Diferencias

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

--- introalg:recursado11 [2011/11/20 18:29] – benotti
+++ introalg:recursado11 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 56: / 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 79: / Línea 79: @@
 | 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 | |
-| 17-11 | **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. **Aviso importante**: La fórmula enunciada como Teorema 5.22
+   * 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.
-*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}}