{"id":3695,"date":"2013-09-25T16:43:49","date_gmt":"2013-09-25T14:43:49","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3695"},"modified":"2013-09-26T06:45:28","modified_gmt":"2013-09-26T04:45:28","slug":"li2013-presentacion-del-curso-de-logica-informatica","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2013-presentacion-del-curso-de-logica-informatica\/","title":{"rendered":"LI2013: Presentaci\u00f3n del curso de &#8220;L\u00f3gica inform\u00e1tica&#8221;"},"content":{"rendered":"<p>En la primera parte de la clase de hoy, se ha presentado el curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\">L\u00f3gica Inform\u00e1tica<\/a> siguiendo el <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/plan-LI-2013-14.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-13\">la p\u00e1gina de la asignatura<\/a>,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/temas.html\">las transparencias de los temas,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/temas\/temas-LI-2013-14.pdf\">el libro con los apuntes de los temas,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/temas\/ejercicios-LI-2013-14.pdf\">el libro con los enunciados de los ejercicios<\/a>,\n<li><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/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-13\/temas\/ej-argumentacion.pdf\">el libro de ejercicios de formalizaci\u00f3n<\/a>,\n<\/ul>\n<p>En la segunda parte, se ha explicado la instalaci\u00f3n y uso de <a href=\"http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/index.html\">Isabelle\/HOL<\/a>. Como ejemplo se ha resuelto el primer ejercicio de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci%C3%B3n_1\">1\u00aa relaci\u00f3n<\/a>. Finalmente se ha explicado c\u00f3mo publicar la soluci\u00f3n en la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/L%C3%B3gica_inform%C3%A1tica_%282013-14%29\">wiki<\/a>.<\/p>\n<p>Como tarea para la pr\u00f3xima clase, se ha propuesto la soluci\u00f3n de los ejercicios de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci%C3%B3n_1\">1\u00aa relaci\u00f3n<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy, se ha presentado el 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&#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":[144,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\/3695"}],"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=3695"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3695\/revisions"}],"predecessor-version":[{"id":3696,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3695\/revisions\/3696"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3695"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3695"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3695"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}