{"id":145521,"date":"1993-01-01T00:00:00","date_gmt":"1993-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/contribuciones-topologicas-y-algebraicas-a-los-metodos-formales-en-programacion-declarativa\/"},"modified":"1993-01-01T00:00:00","modified_gmt":"1993-01-01T00:00:00","slug":"contribuciones-topologicas-y-algebraicas-a-los-metodos-formales-en-programacion-declarativa","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/contribuciones-topologicas-y-algebraicas-a-los-metodos-formales-en-programacion-declarativa\/","title":{"rendered":"Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Andres Bujosa Brun <\/strong><\/h2>\n<p>Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones algebraicas. Referente a las contribuciones topologicas podemos decir que basicamente se han aportado dos conceptos matematicos: \u00ablos espacios semanticos\u00bb y \u00abel axioma de compacidad\u00bb. Los propositos fundamentales de estas aportaciones es proporcionar un cuerpo de doctrina para poder modelizar sistemas deductivos. Estos conceptos aportados se han aplicado a la descripcion de la sintaxis y semantica de los lenguajes de programacion funcionales y logicos, y a la descripcion de la logica matematica de primer orden.  en cuanto a las contribuciones algebraicas podemos decir que se ha aportado el anillo de las mara\u00f1as, cuyo proposito fundamental ha sido el de modelizar las estructuras de datos que aparecen en programacion declarativa. Dicha estructura algebraica ha sido aplicada a: la descripcion de las ecuaciones \u00abguarded\u00bb (en el sentido de hoare), y a la descripcion de la operacion de unificacion de expresiones.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Andres Bujosa Brun <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1993<\/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>Regino Criado Herrero<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Vega Vicente <\/li>\n<li> Ruiz Virumbrales Luis Manuel (vocal)<\/li>\n<li> Sanchez Ma\u00f1es Eva Mar\u00eda (vocal)<\/li>\n<li>Juan Tarres Freixenet (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones [&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,3747,3748,126,16008,6566],"tags":[260475,16170,23285,23289,97435,16589],"class_list":["post-145521","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-lenguajes-de-programacion","category-logica","category-logica-deductiva","category-matematicas","category-politecnica-de-madrid","category-sistemas-formales","tag-andres-bujosa-brun","tag-carlos-vega-vicente","tag-juan-tarres-freixenet","tag-regino-criado-herrero","tag-ruiz-virumbrales-luis-manuel","tag-sanchez-manes-eva-maria"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/145521","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=145521"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/145521\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=145521"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=145521"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=145521"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}