{"id":2165,"date":"2012-09-05T09:40:10","date_gmt":"2012-09-05T09:40:10","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=2165"},"modified":"2013-03-08T05:48:12","modified_gmt":"2013-03-08T05:48:12","slug":"peh-piensa-en-haskell-ejercicios-de-programacion-funcional-con-haskell","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/peh-piensa-en-haskell-ejercicios-de-programacion-funcional-con-haskell\/","title":{"rendered":"PeH: Piensa en Haskell (Ejercicios de programaci\u00f3n funcional con Haskell)"},"content":{"rendered":"<p>He publicado la primera versi\u00f3n de libro <a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/Piensa_en_Haskell.pdf\">Piensa en Haskell<\/a> (Ejercicios de programaci\u00f3n funcional con Haskell).<\/p>\n<p>Este libros es una introducci\u00f3n a la programaci\u00f3n funcional con Haskell a trav\u00e9s de una colecci\u00f3n de ejercicios resueltos de los cursos de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-11\">Inform\u00e1tica<\/a> (del<br \/>\nGrado en Matem\u00e1ticas) y <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/pd-09\">Programaci\u00f3n declarativa<\/a> (de la Ingenier\u00eda en Inform\u00e1tica). <\/p>\n<p>Los temas correspondientes a los ejercicios del libro se encuentra en <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m\/temas\/2011-12-IM-temas-PF.pdf\">Temas de programaci\u00f3n funcional<\/a>. <\/p>\n<p>El libro consta de tres partes. En la primera parte se presentan los elementos b\u00e1sicos de la programaci\u00f3n funcional. En la segunda, se estudian la implementaci\u00f3n en Haskell de tipos abstractos de datos y sus aplicaciones as\u00ed como cuestiones algor\u00edtmicas. En la tercera, se presentan casos de estudios. Tambi\u00e9n se han incluido dos ap\u00e9ndices: uno con un resumen de las funciones de Haskell utilizadas y otro con el m\u00e9todo de P\u00f3lya para la resoluci\u00f3n de problemas.<br \/>\n<!--more--><\/p>\n<p>El contenido del libro es<\/p>\n<ul>\n<li>1\u00aa parte: Introducci\u00f3n a la programaci\u00f3n funcional\n<ul>\n<li> 1. Definiciones elementales de funciones.\n<li> 2. Definiciones por comprensi\u00f3n.\n<li> 3. Definiciones por recursi\u00f3n.\n<li> 4. Definiciones por recursi\u00f3n y comprensi\u00f3n.\n<li> 5. Funciones sobre cadenas.\n<li> 6. Funciones de orden superior.\n<li> 7. Listas infinitas.\n<li> 8. Tipos definidos y de datos algebricos.\n<li> 9. Demostraci\u00f3n de propiedades por inducci\u00f3n.\n<\/ul>\n<li>2\u00aa parte: Tipos abstractos de datos y algor\u00edtmica.\n<ul>\n<li> 10. Polinomios.\n<li> 11. Vectores y matrices.\n<li> 12. Relaciones binarias.\n<li> 13. Operaciones con conjuntos.\n<li> 14. Grafos.\n<\/ul>\n<li>3\u00aa parte: Casos de estudio.\n<ul>\n<li> 15. El cifrado C\u00e9sar.\n<li> 16. Codificaci\u00f3n y transmisi\u00f3n de mensajes.\n<li> 17. Resoluci\u00f3n de problemas matem\u00e1ticos.\n<li> 18. El 2011 y los n\u00fameros primos.\n<li> 19. Combinatoria.\n<li> 20. C\u00e1lculo num\u00e9rico.\n<li> 21. Ecuaci\u00f3n con factoriales.\n<li> 22. Cuadrados m\u00e1gicos.\n<li> 23. Enumeraciones de los n\u00fameros racionales.\n<\/ul>\n<li>Ap\u00e9ndices.\n<ul>\n<li> A. Resumen de funciones predefinidas de Haskell.\n<li> B. M\u00e9todo de P\u00f3lya para la resoluci\u00f3n de problemas.\n<ul>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>He publicado la primera versi\u00f3n de libro Piensa en Haskell (Ejercicios de programaci\u00f3n funcional con Haskell). Este libros es una introducci\u00f3n a la programaci\u00f3n funcional con Haskell a trav\u00e9s de una colecci\u00f3n de ejercicios resueltos de los cursos de Inform\u00e1tica (del Grado en Matem\u00e1ticas) y Programaci\u00f3n declarativa (de la Ingenier\u00eda en Inform\u00e1tica). Los temas correspondientes&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[5],"tags":[27,270,115,56],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2165"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=2165"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2165\/revisions"}],"predecessor-version":[{"id":2781,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2165\/revisions\/2781"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=2165"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=2165"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=2165"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}