{"id":7117,"date":"2020-04-01T20:03:29","date_gmt":"2020-04-01T18:03:29","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=7117"},"modified":"2020-04-01T20:03:29","modified_gmt":"2020-04-01T18:03:29","slug":"i1m2019-el-tipo-abstracto-de-datos-de-las-colas-de-prioridad-en-haskell","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-el-tipo-abstracto-de-datos-de-las-colas-de-prioridad-en-haskell\/","title":{"rendered":"I1M2019: El tipo abstracto de datos de las colas de prioridad en Haskell"},"content":{"rendered":"<p>En la primera parte de la clase de hoy de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-19\">Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas<\/a> se ha estudiado el tipo abstracto de las colas de prioridad.<\/p>\n<p>Se ha seguido el mismo patr\u00f3n que en los anteriores tipos de datos:<\/p>\n<ul>\n<li>elecci\u00f3n de las operaciones b\u00e1sicas,<\/li>\n<li>especificaci\u00f3n de sus propiedades,<\/li>\n<li>implementaci\u00f3n en Haskell mediante listas,<\/li>\n<li>an\u00e1lisis de la complejidad de las definiciones de las operaciones b\u00e1sicas y<\/li>\n<li>verificaci\u00f3n con QuickCheck de sus propiedades caracter\u00edsticas.<\/li>\n<\/ul>\n<p>La clase se ha dado mediante videoconferencia y el correspondiente v\u00eddeo es<\/p>\n<p><iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube.com\/embed\/2aa1U_AIJUo\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe><\/p>\n<p>Los apuntes correspondientes a la clase son los del tema 16<br \/>\n\n<!-- iframe plugin v.5.0 wordpress.org\/plugins\/iframe\/ -->\n<iframe loading=\"lazy\" src=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-19\/temas\/tema-16.html\" width=\"100%\" frameborder=\"1\" height=\"500\" scrolling=\"yes\" class=\"iframe-class\"><\/iframe>\n<\/p>\n<p>Una versi\u00f3n interactiva de los apuntes en IHaskell se encuentra <a href=\"https:\/\/mybinder.org\/v2\/gh\/jaalonso\/Temas_interactivos_de_PF_con_Haskell\/master?urlpath=lab\/tree\/temas\/Tema-16.ipynb\">aqu\u00ed<\/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 estudiado el tipo abstracto de las colas de prioridad. Se ha seguido el mismo patr\u00f3n que en los anteriores tipos de datos: elecci\u00f3n de las operaciones b\u00e1sicas, especificaci\u00f3n de sus propiedades, implementaci\u00f3n en Haskell mediante listas,&#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":[331],"tags":[],"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\/7117"}],"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=7117"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7117\/revisions"}],"predecessor-version":[{"id":7118,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7117\/revisions\/7118"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=7117"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=7117"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=7117"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}