{"id":6713,"date":"2019-06-07T08:06:43","date_gmt":"2019-06-07T06:06:43","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6713"},"modified":"2019-06-09T08:08:03","modified_gmt":"2019-06-09T06:08:03","slug":"i1m2018-razonamiento-sobre-programas","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2018-razonamiento-sobre-programas\/","title":{"rendered":"I1M2018: Razonamiento sobre programas"},"content":{"rendered":"<p>En la clase de hoy de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\">Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas<\/a> se ha estudiado c\u00f3mo demostrar propiedades de programas Haskell.<\/p>\n<p>Los tipos de razonamiento estudiado son<\/p>\n<ul>\n<li>Razonamiento ecuacional sin variables.<\/li>\n<li>Razonamiento ecuacional con variables.<\/li>\n<li>Razonamiento ecuacional con an\u00e1lisis de casos<\/li>\n<li>Razonamiento por inducci\u00f3n sobre los naturales<\/li>\n<li>Razonamiento por inducci\u00f3n sobre listas.<\/li>\n<\/ul>\n<p>En las demostraciones por inducci\u00f3n se ha destacado la elecci\u00f3n de variables, las demostraciones anidadas y la generalizaci\u00f3n de propiedades para su prueba por inducci\u00f3n.<\/p>\n<p>Los apuntes correspondientes a la clase son los del tema 8<br \/>\n\n<!-- iframe plugin v.5.0 wordpress.org\/plugins\/iframe\/ -->\n<iframe loading=\"lazy\" src=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\/temas\/tema-8.html\" width=\"100%\" frameborder=\"1\" height=\"500\" scrolling=\"yes\" class=\"iframe-class\"><\/iframe>\n<\/p>\n<p>Adem\u00e1s, se ha mostrado <a href=\"https:\/\/www.glc.us.es\/~jalonso\/LMF2019\/index.php\/Razonamiento_sobre_programas_en_Isabelle\/HOL\">c\u00f3mo automatizar las demostraciones usando Isabelle\/HOL<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy de Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas se ha estudiado c\u00f3mo demostrar propiedades de programas Haskell. Los tipos de razonamiento estudiado son Razonamiento ecuacional sin variables. Razonamiento ecuacional con variables. Razonamiento ecuacional con an\u00e1lisis de casos Razonamiento por inducci\u00f3n sobre los naturales Razonamiento por inducci\u00f3n sobre listas. En las&#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":[320],"tags":[],"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\/6713"}],"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=6713"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6713\/revisions"}],"predecessor-version":[{"id":6715,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6713\/revisions\/6715"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6713"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6713"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6713"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}