{"id":6866,"date":"2019-12-04T18:36:18","date_gmt":"2019-12-04T17:36:18","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6866"},"modified":"2019-12-04T18:36:18","modified_gmt":"2019-12-04T17:36:18","slug":"i1m2019-programa-en-haskell-para-reconocer-tautologias","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2019-programa-en-haskell-para-reconocer-tautologias\/","title":{"rendered":"I1M2019: Programa en Haskell para reconocer tautolog\u00edas"},"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 c\u00f3mo construir un programa para determinar si una f\u00f3rmula es una tautolog\u00eda.<\/p>\n<p>Para ello se consideran las siguientes fases:<\/p>\n<ol>\n<li>definir un tipo de dato algebraico para las f\u00f3rmulas proposicionales,<\/li>\n<li>definir un tipo de dato para las interpretaciones,<\/li>\n<li>definir una funci\u00f3n para calcular los valores de las f\u00f3rmulas en las interpretaciones<\/li>\n<li>definir una funci\u00f3n para generar todas las posibles interpretaciones de una f\u00f3rmula y<\/li>\n<li>definir una funci\u00f3n que para decidir si una f\u00f3rmula es tautolog\u00eda (es decir, su valor es verdadero en todas sus interpretaciones).<\/li>\n<\/ol>\n<p>Los apuntes correspondientes a la clase son<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-9.html#sistema-de-decisi%C3%B3n-de-tautolog%C3%ADas\" 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-09.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 c\u00f3mo construir un programa para determinar si una f\u00f3rmula es una tautolog\u00eda. Para ello se consideran las siguientes fases: definir un tipo de dato algebraico para las f\u00f3rmulas proposicionales, definir un tipo de dato para&#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\/6866"}],"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=6866"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6866\/revisions"}],"predecessor-version":[{"id":6867,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6866\/revisions\/6867"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6866"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6866"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6866"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}