{"id":7482,"date":"2020-10-28T13:39:42","date_gmt":"2020-10-28T12:39:42","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=7482"},"modified":"2020-12-21T13:40:27","modified_gmt":"2020-12-21T12:40:27","slug":"pfh-sistema-de-decision-de-tautologias-en-haskell","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/pfh-sistema-de-decision-de-tautologias-en-haskell\/","title":{"rendered":"PFH: Sistema de decisi\u00f3n de tautolog\u00edas en Haskell"},"content":{"rendered":"<p>He a\u00f1adido a la lista <a href=\"https:\/\/bit.ly\/3apKjew\">Programaci\u00f3n funcional con Haskell<\/a> el v\u00eddeo <a href=\"https:\/\/youtu.be\/76S6DEgAWzk\">Sistema de decisi\u00f3n de tautolog\u00edas en Haskell<\/a> en el que se ha estudia c\u00f3mo construir un programa para determinar si una f\u00f3rmula es una tautolog\u00eda. Para ello se consideran las siguientes fases:<br \/>\n1. definir un tipo de dato algebraico para las f\u00f3rmulas proposicionales,<br \/>\n2. definir un tipo de dato para las interpretaciones,<br \/>\n3. definir una funci\u00f3n para calcular los valores de las f\u00f3rmulas en las interpretaciones<br \/>\n4. definir una funci\u00f3n para generar todas las posibles interpretaciones de una f\u00f3rmula y<br \/>\n5. definir una funci\u00f3n que para decidir si una f\u00f3rmula es tautolog\u00eda (es decir, su valor es verdadero en todas sus interpretaciones).<\/p>\n<p>El v\u00eddeo es<\/p>\n<p><iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube.com\/embed\/76S6DEgAWzk\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe><\/p>\n<p>Los apuntes correspondientes son \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\" 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-9.ipynb\">aqu\u00ed<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>He a\u00f1adido a la lista Programaci\u00f3n funcional con Haskell el v\u00eddeo Sistema de decisi\u00f3n de tautolog\u00edas en Haskell en el que se ha estudia c\u00f3mo construir un programa para determinar si una f\u00f3rmula es una tautolog\u00eda. Para ello se consideran las siguientes fases: 1. definir un tipo de dato algebraico para las f\u00f3rmulas proposicionales, 2&#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":[337],"tags":[270],"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\/7482"}],"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=7482"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7482\/revisions"}],"predecessor-version":[{"id":7483,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7482\/revisions\/7483"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=7482"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=7482"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=7482"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}