{"id":5095,"date":"2015-10-21T19:01:01","date_gmt":"2015-10-21T17:01:01","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5095"},"modified":"2015-10-21T19:09:03","modified_gmt":"2015-10-21T17:09:03","slug":"i1m2015-definiciones-por-recursion-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2015-definiciones-por-recursion-2\/","title":{"rendered":"I1M2015:  Definiciones por recursi\u00f3n (2)"},"content":{"rendered":"<p>En la primera parte de la clase de hoy de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\">Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas<\/a> se ha continuado el estudio de las definiciones por recursi\u00f3n en Haskell. Concretamente,<\/p>\n<ul>\n<li><a href=\"http:\/\/bit.ly\/1MTclzz\">heur\u00edsticas para las definiciones recursivas<\/a>,<\/li>\n<li><a href=\"http:\/\/bit.ly\/1MTcmn6\">recursi\u00f3n sobre varios argumentos<\/a>,<\/li>\n<li><a href=\"http:\/\/bit.ly\/1MTcmDQ\">recursi\u00f3n m\u00faltiple<\/a> y<\/li>\n<li><a href=\"http:\/\/bit.ly\/1MTcmUm\">recursi\u00f3n mutua<\/a>.<\/li>\n<\/ul>\n<p>En la segunda parte se ha comentado algunos de los materiales anunciados en el <a href=\"http:\/\/bit.ly\/1JUad4m\">Twitter del curso<\/a>:<\/p>\n<ul>\n<li>El libro de P. Hudak <a href=\"http:\/\/bit.ly\/1JU9jov\">The Haskell school of music (from signals to symphonies)<\/a>,<\/li>\n<li>la <a href=\"http:\/\/t.co\/ztpYdSoE7Q\">gu\u00eda de estilo de Haskell<\/a>,<\/li>\n<li>el <a href=\"http:\/\/t.co\/25l3X8BuxD\">mini manual de emacs<\/a> y <\/li>\n<li>el <a href=\"bit.ly\/1QvWAxH\">tr\u00edptico de emacs<\/a><\/li>\n<\/ul>\n<p>Finalmente, comentamos la metodolog\u00eda de trabajo con el blog de problemas <a href=\"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/\">Exercitium<\/a>.<\/p>\n<p>Las transparencias usadas en la clase son las del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m\/temas\/tema-6.html\">tema 6<\/a>:<\/p>\n<p><iframe loading=\"lazy\" src=\"\/\/www.slideshare.net\/slideshow\/embed_code\/key\/Lqv9n27vvsLA3F\" width=\"425\" height=\"355\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" style=\"border:1px solid #CCC; border-width:1px; margin-bottom:5px; max-width: 100%;\" allowfullscreen> <\/iframe><\/p>\n<div style=\"margin-bottom:5px\"> <\/div>\n<p>El c\u00f3digo correspondiente se encuentra en <a href=\"http:\/\/bit.ly\/1WHkmdL\">GitHub<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy de Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas se ha continuado el estudio de las definiciones por recursi\u00f3n en Haskell. Concretamente, heur\u00edsticas para las definiciones recursivas, recursi\u00f3n sobre varios argumentos, recursi\u00f3n m\u00faltiple y recursi\u00f3n mutua. En la segunda parte se ha comentado algunos de los materiales&#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":[250,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\/5095"}],"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=5095"}],"version-history":[{"count":6,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5095\/revisions"}],"predecessor-version":[{"id":5120,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5095\/revisions\/5120"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5095"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5095"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5095"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}