Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa |
introalg:taller09 [2009/03/21 16:44] – laura | introalg:taller09 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 |
---|
| |
|Mar 30 | [[IntroAlg:taller09_1|Clase 1]] | Introducción a programación declarativa, introducción a prolog, átomos, sintaxis, pequeño ejemplo. | | |Mar 30 | [[IntroAlg:taller09_1|Clase 1]] | Introducción a programación declarativa, introducción a prolog, átomos, sintaxis, pequeño ejemplo. | |
|Abr 6 | [[IntroAlg:taller09_2|Clase 2]] | Ampliación de la clase anterior. | | |Abr 6 | [[IntroAlg:taller09_2|Clase 2]] | Consolidación de conceptos, uso de la traza, analizando problemas. | |
|Abr 13 | [[IntroAlg:taller09_3|Clase 3]] | Dos ejemplos de razonamiento en prolog. | | |Abr 13 | [[IntroAlg:taller09_3|Clase 3]] | Introducción a haskell, tipos, análisis por casos, pattern matching. | |
|Abr 20 | [[IntroAlg:taller09_4|Clase 4]] | Introducción a programación funcional, manejo de Hugs, inferencia de tipos, tuplas, análisis por casos | | |Abr 20 | [[IntroAlg:taller09_4|Clase 4]] | Repaso de programación funcional, modularización, definiciones locales. | |
|Abr 27 | [[IntroAlg:taller09_5|Clase 5]] | Pattern matching numérico, tuplas y listas, divide y conquista, estilo de código | | |Abr 27 | [[IntroAlg:taller09_5|Clase 5]] | Listas y recursión lineal en haskell y prolog. | |
|May 4 | [[IntroAlg:taller09_6|Clase 6]] | Recursión lineal, aplicaciones, filtros, acumuladores | | |May 4 | [[IntroAlg:taller09_6|Clase 6]] | Repaso de recursión, ejercicios de recursión. | |
|May 11 | [[IntroAlg:taller09_7|Clase 7]] | Parcialito 1 | | |May 11 | [[IntroAlg:taller09_7|Clase 7]] | Parcialito 1 | |
|May 18 | [[IntroAlg:taller09_8|Clase 8]] | generalización de las funciones vistas (map, filter, fold, etc.), alto orden | | |May 18 | [[IntroAlg:taller09_8|Clase 8]] | Generalización de funciones recursivas en listas y alto orden. Aplicando generalizaciones. | |
|Jun 1 | [[IntroAlg:taller09_9|Clase 9]] | Aplicando generalizaciones a funciones complejas, recursión en dos argumentos | | |Jun 1 | [[IntroAlg:taller09_9|Clase 9]] | Resolviendo problemas complejos. | |
|Jun 8 | [[IntroAlg:taller09_10|Clase 10]] | Parcialito 2 | | |Jun 8 | [[IntroAlg:taller09_10|Clase 10]] | Parcialito 2 | |
|Jun 15 | [[IntroAlg:taller09_11|Clase 11]] | La Guinda | | |Jun 15 | [[IntroAlg:taller09_11|Clase 11]] | La Guinda | |
| |
| Hay también una página con las [[http://www.cs.famaf.unc.edu.ar/wiki/doku.php?id=introalg:taller09_soluciones|soluciones a los ejercicios]]. |
===== Problemas ===== | |
| |
* [[introalg:problemas09|Problemario del taller]], con todos los problemas que vas a resolver en el taller de Haskell. | |
| |
* [[introalg:rincon09|Wiki de Scripts Haskell]], aca podés dejar código [[http://es.wikipedia.org/wiki/Haskell | Haskell]] de manera libre. | |
| |
===== Programas ===== | ===== Programas ===== |
* los mejores libros de Prolog, en inglés y castellano: | * los mejores libros de Prolog, en inglés y castellano: |
* Sterling, Leon y Shapiro, Ehud. 2001. //The Art of Prolog : advanced programming techniques//. MIT Press, (5th Edition 2001). | * Sterling, Leon y Shapiro, Ehud. 2001. //The Art of Prolog : advanced programming techniques//. MIT Press, (5th Edition 2001). |
* Clocksin, William F. y Mellish, Christopher S. 1993. //Programación en// Prolog (traducción de "//Programming in Prolog//"). Gustavo Gili (en inglés, editado en //Springer//). | * Clocksin, William F. y Mellish, Christopher S. 1993. //Programación en Prolog// (traducción de "//Programming in Prolog//"). Gustavo Gili (en inglés, editado en //Springer//). |
* apuntes en castellano: | * apuntes en castellano: |
* filminas de José Emilio Labra Gayo (profesor de la Universidad de Oviedo) sobre [[http://www.fdi.ucm.es/profesor/evah/IAIC/prolog/PLpura.pdf|Programación Lógica Pura]]. 6 hojas. | * filminas de José Emilio Labra Gayo (profesor de la Universidad de Oviedo) sobre [[http://www.fdi.ucm.es/profesor/evah/IAIC/prolog/PLpura.pdf|Programación Lógica Pura]]. 6 hojas. |
* Blas C. Ruiz, Francisco Gutiérrez, Pablo Guerrero y José E. Gallardo, [[http://www.lcc.uma.es/~pepeg/pfHaskell/index.html | "Razonando con Haskell"]], Thompson, 2004. | * Blas C. Ruiz, Francisco Gutiérrez, Pablo Guerrero y José E. Gallardo, [[http://www.lcc.uma.es/~pepeg/pfHaskell/index.html | "Razonando con Haskell"]], Thompson, 2004. |
* Jose E. Labra G., [[http://horru.lsi.uniovi.es/~labra/FTP/IntHaskell98.pdf|Introducción al lenguaje Haskell]], Universidad de Oviedo, Departamento de Informática, Octubre 1998. | * Jose E. Labra G., [[http://horru.lsi.uniovi.es/~labra/FTP/IntHaskell98.pdf|Introducción al lenguaje Haskell]], Universidad de Oviedo, Departamento de Informática, Octubre 1998. |
| * un libro electrónico, on-line, con dibujitos! [[http://learnyouahaskell.com/chapters|Learn You a Haskell for Great God!]] |
| * otro libro electrónico on-line, muy bueno (aunque sin dibujitos): [[http://book.realworldhaskell.org/read/|Real World Haskell]] |
* Simon Thompson, [[http://www.cs.kent.ac.uk/people/staff/sjt/craft2e/|Haskell The Craft of Functional Programming]], 2da edición, Addison-Wesley, 1999. | * Simon Thompson, [[http://www.cs.kent.ac.uk/people/staff/sjt/craft2e/|Haskell The Craft of Functional Programming]], 2da edición, Addison-Wesley, 1999. |
* Mucho material en inglés de [[http://haskell.org/haskellwiki/Books_and_tutorials#Introductions_to_Haskell|Introductions to Haskell]]. | * Mucho material en inglés de [[http://haskell.org/haskellwiki/Books_and_tutorials#Introductions_to_Haskell|Introductions to Haskell]]. |