{"id":5954,"date":"2018-02-22T18:14:45","date_gmt":"2018-02-22T17:14:45","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5954"},"modified":"2018-02-25T08:16:00","modified_gmt":"2018-02-25T07:16:00","slug":"slc2018-presentacion-del-seminario-de-logica-computacional-2018","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/slc2018-presentacion-del-seminario-de-logica-computacional-2018\/","title":{"rendered":"SLC2018: Presentaci\u00f3n del &#8220;Seminario de L\u00f3gica Computacional&#8221; (2018)"},"content":{"rendered":"<p>En la sesi\u00f3n de hoy del <a href=\"http:\/\/bit.ly\/2Fum0O1\">Seminario de L\u00f3gica Computacional<\/a> se ha presentado el seminario de este a\u00f1o comentando su objetivo, recursos y metodolog\u00eda.<\/p>\n<p>El objetivo fundamental del seminario es el estudio de las relaciones entre l\u00f3gica, demostraci\u00f3n y programaci\u00f3n. La explicaci\u00f3n de los objetivos se ha basado en la <a href=\"http:\/\/bit.ly\/2FxXqvG\">presentaci\u00f3n<\/a> de Benjamin Pierce de su curso <a href=\"http:\/\/bit.ly\/rtOUuC\">Software foundations<\/a>.<\/p>\n<p>Los recursos del seminario se encuentran en la <a href=\"http:\/\/bit.ly\/2Fum0O1\">p\u00e1gina del Seminario<\/a> entre los que se encuentran:<\/p>\n<ul>\n<li><a href=\"http:\/\/bit.ly\/2ET8jXw\">Temas<\/a>: Donde se ir\u00e1n publicando las teor\u00edas de los temas conforme se vayan exponiendo.<\/li>\n<li><a href=\"http:\/\/bit.ly\/2EUoUup\">Ejercicios<\/a>: Donde se publicar\u00e1n las relaciones de ejercicios para resolverlos de manera colaborativa.<\/li>\n<li><a href=\"http:\/\/bit.ly\/2FtKEOv\">Documentaci\u00f3n<\/a>: Donde se publicar\u00e1n enlaces a lecturas recomendadas.<\/li>\n<li><a href=\"http:\/\/bit.ly\/2ET181I\">Sistemas<\/a>: Donde se publicar\u00e1n enlaces a los sistemas utilizados. <\/li>\n<\/ul>\n<p>El principal texto del seminario es <a href=\"http:\/\/bit.ly\/2FuXiNh\">Software foundations (Volume 1: Logical foundations)<\/a> y el sistema que se usar\u00e1 es <a href=\"https:\/\/coq.inria.fr\">Coq<\/a>.<\/p>\n<p>Respecto de metodolog\u00eda, las sesiones consistir\u00e1n en exposiciones de los alumnos de la teor\u00eda, resoluci\u00f3n colaborativa de los ejercicios y comentario de las soluciones publicadas.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la sesi\u00f3n de hoy del Seminario de L\u00f3gica Computacional se ha presentado el seminario de este a\u00f1o comentando su objetivo, recursos y metodolog\u00eda. El objetivo fundamental del seminario es el estudio de las relaciones entre l\u00f3gica, demostraci\u00f3n y programaci\u00f3n. La explicaci\u00f3n de los objetivos se ha basado en la presentaci\u00f3n de Benjamin Pierce de&#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":[1],"tags":[269],"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\/5954"}],"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=5954"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5954\/revisions"}],"predecessor-version":[{"id":5955,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5954\/revisions\/5955"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5954"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5954"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5954"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}