{"id":5039,"date":"2015-09-23T18:26:30","date_gmt":"2015-09-23T16:26:30","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5039"},"modified":"2015-09-24T08:27:14","modified_gmt":"2015-09-24T06:27:14","slug":"i1m2015-introduccion-a-la-programacion-funcional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2015-introduccion-a-la-programacion-funcional\/","title":{"rendered":"I1M2015: Introducci\u00f3n a la programaci\u00f3n funcional"},"content":{"rendered":"<p>En primera parte de la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\">Inform\u00e1tica<\/a> (de 1\u00ba de Grado en Matem\u00e1ticas) se ha presentado la asignatura siguiendo el <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/resumenProyectoDocente-2015-16-G4.pdf\">resumen del proyecto docente<\/a> y los materiales en la p\u00e1gina de la asignatura:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/temas\/2015-16-IM-temas-PF.pdf\">apuntes<\/a>,<\/li>\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/temas.php\">transparencias de los temas<\/a>,<\/li>\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/Piensa_en_Haskell.pdf\">libro con ejercicios resueltos<\/a> y<\/li>\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/2015-Examenes_de_PF_con_Haskell.pdf\">libro de ex\u00e1menes de cursos anteriores<\/a>.<\/li>\n<\/ul>\n<p>Se ha explicado c\u00f3mo instalar los <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/sistemas.php\">sistemas<\/a> y se ha mostrado el uso de Haskell y emacs (la sesi\u00f3n est\u00e1 grabada en este <a href=\"http:\/\/youtu.be\/T9wbXgPkcXA\">v\u00eddeo<\/a>) y el proceso para la soluci\u00f3n colaborativa de ejercicios (la sesi\u00f3n est\u00e1 grabada en este <a href=\"http:\/\/youtu.be\/B1qfZM7_MWI\">v\u00eddeo<\/a>)<\/p>\n<p>Se ha comentado el sistema de evaluaci\u00f3n y se ha anunciado las <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/examenes.php\">fechas de los ex\u00e1menes<\/a> de todo el curso.<\/p>\n<p>La segunda parte de la clase ha consistido en una introducci\u00f3n a la programaci\u00f3n funcional basada en el <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/temas\/tema-1.html\">tema 1<\/a>. Se ha explicado<\/p>\n<ul>\n<li>c\u00f3mo definir y evaluar funciones en Haskell,<\/li>\n<li>c\u00f3mo comprobar propiedades de funciones en Haskell con QuickCheck,<\/li>\n<li>c\u00f3mo se resuelve un problema mediante programaci\u00f3n imperativa y funcional,<\/li>\n<li>los rasgos caracter\u00edsticos de la prograci\u00f3n funcional con Haskell,<\/li>\n<li>los antecedentes hist\u00f3ricos de Haskell y<\/li>\n<li>c\u00f3mo definir funciones mediante recursi\u00f3n y comprensi\u00f3n.<\/li>\n<\/ul>\n<p>A lo largo del curso se profundizar\u00e1 en el estudio de los anteriores conceptos.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En primera parte de la clase de hoy del curso de Inform\u00e1tica (de 1\u00ba de Grado en Matem\u00e1ticas) se ha presentado la asignatura siguiendo el resumen del proyecto docente y los materiales en la p\u00e1gina de la asignatura: apuntes, transparencias de los temas, libro con ejercicios resueltos y libro de ex\u00e1menes de cursos anteriores. Se&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","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":[1],"tags":[270,310],"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\/5039"}],"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=5039"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5039\/revisions"}],"predecessor-version":[{"id":5040,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5039\/revisions\/5040"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5039"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5039"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5039"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}