{"id":85292,"date":"2018-03-10T00:09:45","date_gmt":"2018-03-10T00:09:45","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/modularidad-en-programacion-logico-funcional-de-primer-orden\/"},"modified":"2018-03-10T00:09:45","modified_gmt":"2018-03-10T00:09:45","slug":"modularidad-en-programacion-logico-funcional-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/modularidad-en-programacion-logico-funcional-de-primer-orden\/","title":{"rendered":"Modularidad en programacion l\u00f3gico-funcional de primer orden"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Molina Bravo Juan  Miguel <\/strong><\/h2>\n<p>Esta tesis seocupa de una propuesta de l\u00f3gica de reescritura condicional basada en el uso de constructoras presentada recientemente por j.C. Gonz\u00e1lez moreno,m.T, hortal\u00e1 gonzalez, f. L\u00f3pez fraguas y m. Rodriguez artalejo con la intenci\u00f3n de que sirva como base para la programaci\u00f3n l\u00f3gico-funcional del primer orden con funciones indeterministas y objetos infinitos. Las aportaciones que se hacen a esta propuesta consisten en un estudio detallado de la estructura de los conjuntos de modelos que se utilizan y la definici\u00f3n de un sistema de m\u00f3dulos para la estructuraci\u00f3n de los programas en cicha l\u00f3gica. En concreto, se demuestra la existencia de modelos continuos y se estudian los modelos de t\u00e9rminos caracteriz\u00e1ndolos como puntos prefijos de un operador de consecuencias inmediatas. Tambi\u00e9n se define una noci\u00f3n simple de m\u00f3dulo como programa abierto junto con un conjunto reducido de operaciones(uni\u00f3n, renombramiento, eliminaci\u00f3n de signatura y clausura), descritas a nivel sint\u00e1ctico, que permiten expresar nociones m\u00e1s coplejas de m\u00f3dulo as\u00ed como relaciones t\u00edpicas tales como la importaci\u00f3n, la instanciaci\u00f3n o la herencia con sobreescritura y una relaci\u00f3n nueva: la parametrizaci\u00f3n. este estudio de modularidad se acompa\u00f1a de un estudio de sem\u00e1nticas posibles para el sistema de m\u00f3dulos con las operaciones b\u00e1sicas y con una funci\u00f3n de observaci\u00f3n adecuada, determinando finalmente una sem\u00e1ntica composicional y completamente abstracta.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Modularidad en programacion l\u00f3gico-funcional de primer orden<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Modularidad en programacion l\u00f3gico-funcional de primer orden <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Molina Bravo Juan  Miguel <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 26\/06\/2000<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Ernesto Pimentel Sanchez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Mar\u00eda Troya linero <\/li>\n<li>Fernando Orejas vald\u00e9s (vocal)<\/li>\n<li>mario Rodr\u00edguez artalejo (vocal)<\/li>\n<li>Mar\u00eda Alpuente frasnedo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de l\u00f3gica de reescritura condicional basada en [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,6474,7834,126],"tags":[41295,5512,4814,6479,4813,179677],"class_list":["post-85292","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-lenguajes-de-programacion","category-malaga","category-matematicas","tag-ernesto-pimentel-sanchez","tag-fernando-orejas-valdes","tag-jose-maria-troya-linero","tag-maria-alpuente-frasnedo","tag-mario-rodriguez-artalejo","tag-molina-bravo-juan-miguel"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/85292","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=85292"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/85292\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=85292"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=85292"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=85292"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}