{"id":3703,"date":"2013-09-27T16:38:55","date_gmt":"2013-09-27T14:38:55","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3703"},"modified":"2013-09-28T16:43:17","modified_gmt":"2013-09-28T14:43:17","slug":"li2013-sintaxis-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2013-sintaxis-de-la-logica-proposicional\/","title":{"rendered":"LI2013: 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-12\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido tres partes. <\/p>\n<p>En la primera parte se ha comentado las soluciones de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci%C3%B3n_1\">1\u00aa relaci\u00f3n<\/a> de ejercicios de representaci\u00f3n del conocimiento en l\u00f3gica proposicional usando Isabelle\/HOL. <\/p>\n<p>En la segunda 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 tercera 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>Las tareas propuestas son:<\/p>\n<ul>\n<li> resolver los ejercicios de la <a href=\"http:\/\/bit.ly\/1biaFyx\">2\u00aa relaci\u00f3n<\/a> de representaci\u00f3n del conocimiento proposicional en Isabelle\/HOL y\n<li> resolver los ejercicios 22 a 24 del tema 2 (p\u00e1ginas 11 y 12 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/temas\/ejercicios-LI-2013-14.pdf\">libro de ejercicios<\/a>).\n<\/ul>\n<p>Las transparencias de esta clase son las p\u00e1ginas 2-13 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/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 tres partes. En la primera parte se ha comentado las soluciones de la 1\u00aa relaci\u00f3n de ejercicios de representaci\u00f3n del conocimiento en l\u00f3gica proposicional usando Isabelle\/HOL. En la segunda parte se ha presentado un panorama de la l\u00f3gica y sus aplicaciones a la inform\u00e1tica. Como&#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":[223],"tags":[301,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\/3703"}],"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=3703"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3703\/revisions"}],"predecessor-version":[{"id":3705,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3703\/revisions\/3705"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3703"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3703"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3703"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}