{"id":6187,"date":"2018-07-26T21:18:39","date_gmt":"2018-07-26T19:18:39","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6187"},"modified":"2018-07-27T09:32:27","modified_gmt":"2018-07-27T07:32:27","slug":"programacion-funcional-y-metodos-elementales-de-demostracion-en-coq","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/programacion-funcional-y-metodos-elementales-de-demostracion-en-coq\/","title":{"rendered":"Programaci\u00f3n funcional y m\u00e9todos elementales de demostraci\u00f3n en Coq"},"content":{"rendered":"<p>En este tema se introduce mediante ejemplos la programaci\u00f3n funcional en Coq y la demostraci\u00f3n de las propiedades de las funciones definidas usando los m\u00e9todos elementales de programaci\u00f3n en Coq.<\/p>\n<p>Su contenido es<\/p>\n<ol>\n<li>Datos y funciones\n<ol>\n<li>Tipos enumerados  <\/li>\n<li>Booleanos  <\/li>\n<li>Tipos de las funciones  <\/li>\n<li>Tipos compuestos  <\/li>\n<li>M\u00f3dulos  <\/li>\n<li>N\u00fameros naturales  <\/li>\n<\/ol>\n<\/li>\n<li>M\u00e9todos elementales de demostraci\u00f3n\n<ol>\n<li>Demostraciones por simplificaci\u00f3n <\/li>\n<li>Demostraciones por reescritura <\/li>\n<li>Demostraciones por an\u00e1lisis de casos <\/li>\n<\/ol>\n<\/li>\n<\/ol>\n<p>La teor\u00eda correspondiente es \n<!-- iframe plugin v.5.0 wordpress.org\/plugins\/iframe\/ -->\n<iframe loading=\"lazy\" src=\"https:\/\/www.glc.us.es\/~jalonso\/DAOconCoq\/index.php\/Tema_1:_Programaci%C3%B3n_funcional_y_m%C3%A9todos_elementales_de_demostraci%C3%B3n_en_Coq\" width=\"100%\" frameborder=\"1\" height=\"500\" scrolling=\"yes\" class=\"iframe-class\"><\/iframe>\n<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En este tema se introduce mediante ejemplos la programaci\u00f3n funcional en Coq y la demostraci\u00f3n de las propiedades de las funciones definidas usando los m\u00e9todos elementales de programaci\u00f3n en Coq. Su contenido es Datos y funciones Tipos enumerados Booleanos Tipos de las funciones Tipos compuestos M\u00f3dulos N\u00fameros naturales M\u00e9todos elementales de demostraci\u00f3n Demostraciones por simplificaci\u00f3n&#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":[319],"tags":[45],"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\/6187"}],"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=6187"}],"version-history":[{"count":4,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6187\/revisions"}],"predecessor-version":[{"id":6191,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6187\/revisions\/6191"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6187"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6187"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6187"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}