{"id":260,"date":"2010-02-21T21:42:08","date_gmt":"2010-02-21T21:42:08","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/logica-en-haskell\/"},"modified":"2013-03-08T05:53:44","modified_gmt":"2013-03-08T05:53:44","slug":"logica-en-haskell","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/logica-en-haskell\/","title":{"rendered":"L\u00f3gica en Haskell"},"content":{"rendered":"<p>En la entrada <a href=\"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/curso-de-logica-informatica\">curso de l\u00f3gica inform\u00e1tica<\/a> publiqu\u00e9 los apuntes del curso.<\/p>\n<p>Como se ha podido observar por los apuntes, en el curso se introduce la l\u00f3gica de forma algor\u00edtmica presentando la especificaci\u00f3n de distintos procedimientos l\u00f3gicos.<\/p>\n<p>En <a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/2007-Logica_en_Haskell.pdf\">L\u00f3gica en Haskell<\/a> se presenta los programas en Haskell de las especificaciones del curso.  <\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la entrada curso de l\u00f3gica inform\u00e1tica publiqu\u00e9 los apuntes del curso. Como se ha podido observar por los apuntes, en el curso se introduce la l\u00f3gica de forma algor\u00edtmica presentando la especificaci\u00f3n de distintos procedimientos l\u00f3gicos. En L\u00f3gica en Haskell se presenta los programas en Haskell de las especificaciones del curso.<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","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":[5,59,25],"tags":[270,278],"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\/260"}],"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=260"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/260\/revisions"}],"predecessor-version":[{"id":3057,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/260\/revisions\/3057"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=260"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=260"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=260"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}