{"id":2186,"date":"2012-09-25T14:31:14","date_gmt":"2012-09-25T14:31:14","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=2186"},"modified":"2013-03-08T05:48:12","modified_gmt":"2013-03-08T05:48:12","slug":"li2012-presentacion-del-curso-de-logica-informatica-2012-13","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2012-presentacion-del-curso-de-logica-informatica-2012-13\/","title":{"rendered":"LI2012: Presentaci\u00f3n del curso de &#8220;L\u00f3gica inform\u00e1tica&#8221; (2012-13)"},"content":{"rendered":"<p>En la clase de hoy, se ha realizado la presentaci\u00f3n del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\">L\u00f3gica Inform\u00e1tica<\/a> siguiendo el <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/plan-LI-2012-13.pdf\">plan de la asignatura<\/a>. Se ha comentado el contenido de la asignatura, el sistema de evaluaci\u00f3n y los materiales de la asignatura en la Red:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\">la p\u00e1gina de la asignatura<\/a>,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas.html\">las transparencias de los temas,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/temas-LI-2012-13.pdf\">el libro con los apuntes de los temas,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/2002-ded-automatica-1.pdf\">el libro sobre la construcci\u00f3n l\u00f3gica de sistemas l\u00f3gicos<\/a>,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/ejercicios-LI-2012-13.pdf\">el libro con los enunciados de los ejercicios<\/a>,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/examenes-li.pdf\">el libro de ex\u00e1menes resueltos de cursos anteriores<\/a>\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/ej-argumentacion.pdf\">el libro de ejercicios de formalizaci\u00f3n<\/a>,\n<li><a href=\"http:\/\/www.cs.us.es\/%7Ejalonso\/cursos\/li-12\/temas\/ej-ded-natural-proposicional.pdf\">el libro de soluciones de los ejercicios de deducci\u00f3n natural proposicional<\/a> y\n<li><a href=\"http:\/\/www.cs.us.es\/%7Ejalonso\/cursos\/li\/temas\/ej-ded-natural-LPO.pdf\">el libro de soluciones de los ejercicios de deducci\u00f3n natural en l\u00f3gica de primer orden<\/a>.\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy, se ha realizado la presentaci\u00f3n del curso L\u00f3gica Inform\u00e1tica siguiendo el plan de la asignatura. Se ha comentado el contenido de la asignatura, el sistema de evaluaci\u00f3n y los materiales de la asignatura en la Red: la p\u00e1gina de la asignatura, las transparencias de los temas, el libro con los&#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":[196],"tags":[297],"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\/2186"}],"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=2186"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2186\/revisions"}],"predecessor-version":[{"id":2775,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2186\/revisions\/2775"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=2186"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=2186"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=2186"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}