{"id":1232,"date":"2011-02-23T06:26:10","date_gmt":"2011-02-23T06:26:10","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1232"},"modified":"2011-02-23T06:26:10","modified_gmt":"2011-02-23T06:26:10","slug":"dao2011-demostracion-asistida-por-ordenador","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/dao2011-demostracion-asistida-por-ordenador\/","title":{"rendered":"DAO2011: Demostraci\u00f3n asistida por ordenador"},"content":{"rendered":"<p><a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/dao\/\">Demostraci\u00f3n asistida por ordenador (DAO2011)<\/a> es un <a href=\"http:\/\/www.cfp.us.es\/web\/ficha_avanzada.asp?id_titulo=846&#038;tipo=FE&#038;basica=1&#038;curso=2010\">curso de formaci\u00f3n especializada<\/a> del <a href=\"http:\/\/www.cfp.us.es\/\">Centro de Formaci\u00f3n Permanente de la Universidad de Sevilla<\/a> que se impartir\u00e1 desde el 24 de febrero al 24 de junio de 2011.<\/p>\n<p>Este curso es una introducci\u00f3n a la demostraci\u00f3n asistida por ordenador usando el sistema Isabelle\/HOL\/Isar). Los objetivos del curso son:<\/p>\n<ul>\n<li> desarrollar la capacidad de razonamiento l\u00f3gico,\n<li> conocer formalismos de representaci\u00f3n del conocimiento matem\u00e1tico,\n<li> saber usar sistemas de razonamiento y\n<li> desarrollar teor\u00edas matem\u00e1ticas en sistemas de demostraci\u00f3n autom\u00e1tica.\n<\/ul>\n<p>Para m\u00e1s informaci\u00f3n se puede consultar la <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/dao\/\">p\u00e1gina del curso<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Demostraci\u00f3n asistida por ordenador (DAO2011) es un curso de formaci\u00f3n especializada del Centro de Formaci\u00f3n Permanente de la Universidad de Sevilla que se impartir\u00e1 desde el 24 de febrero al 24 de junio de 2011. Este curso es una introducci\u00f3n a la demostraci\u00f3n asistida por ordenador usando el sistema Isabelle\/HOL\/Isar). Los objetivos del curso son:&#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":[165],"tags":[289],"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\/1232"}],"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=1232"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1232\/revisions"}],"predecessor-version":[{"id":1233,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1232\/revisions\/1233"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1232"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1232"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1232"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}