{"id":4460,"date":"2014-09-24T22:07:00","date_gmt":"2014-09-24T20:07:00","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4460"},"modified":"2014-09-24T22:07:00","modified_gmt":"2014-09-24T20:07:00","slug":"li2014-sintaxis-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2014-sintaxis-de-la-logica-proposicional\/","title":{"rendered":"LI2014: Sintaxis de la l\u00f3gica proposicional"},"content":{"rendered":"<p>La clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido dos partes.<\/p>\n<p>En la primera parte se ha presentado un panorama de la l\u00f3gica y sus aplicaciones a la inform\u00e1tica. Como ejemplo de aplicaci\u00f3n se ha mostrado c\u00f3mo se puede generar autom\u00e1ticamente programas usando <a href=\"http:\/\/bit.ly\/15voaIA\">MagicHaskeller<\/a>.<\/p>\n<p>En la segunda parte se ha explicado la sintaxis de la l\u00f3gica proposicional insistiendo en el car\u00e1cter inductivo del tipo de datos de las f\u00f3rmulas proposicionales, del procedimiento de definiciones por recursi\u00f3n sobre las f\u00f3rmulas y de demostraci\u00f3n de propiedades por inducci\u00f3n sobre las f\u00f3rmulas.<\/p>\n<p>Como tarea se ha propuesto resolver de los ejercicios de la <a href=\"http:\/\/bit.ly\/1v0wauX\">1\u00aa relaci\u00f3n<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-13 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\/temas\/tema-1.pdf\">tema 1<\/a><br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/6980175' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>La clase de hoy del curso L\u00f3gica Inform\u00e1tica ha tenido dos partes. En la primera parte se ha presentado un panorama de la l\u00f3gica y sus aplicaciones a la inform\u00e1tica. Como ejemplo de aplicaci\u00f3n se ha mostrado c\u00f3mo se puede generar autom\u00e1ticamente programas usando MagicHaskeller. En la segunda parte se ha explicado la sintaxis de&#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":[239],"tags":[306,189],"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\/4460"}],"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=4460"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4460\/revisions"}],"predecessor-version":[{"id":4461,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4460\/revisions\/4461"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4460"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4460"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4460"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}