Diferencias

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

--- introalg:recursado11 [2011/11/20 18:30] – 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 85: / Línea 85: @@
 ===== 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}}