{"id":137705,"date":"2026-01-12T17:07:39","date_gmt":"2026-01-12T17:07:39","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-interpretacion-logico-algebraica-de-la-semantica-de-la-programacion\/"},"modified":"2026-01-12T17:07:39","modified_gmt":"2026-01-12T17:07:39","slug":"una-interpretacion-logico-algebraica-de-la-semantica-de-la-programacion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/una-interpretacion-logico-algebraica-de-la-semantica-de-la-programacion\/","title":{"rendered":"Una interpretacion logico-algebraica de la semantica de la programacion"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Aurora Perez Perez <\/strong><\/h2>\n<p>Se utiliza la teoria de categorias y, en concreto, determinadas categorias preorden, para abordar el problema de la semantica de la programacion desde un punto de vista diferente, basandose en la interrelacion de las semanticas asercional y denotacional. Se obtiene, como resultado principal, la equiValencia entre correccion y adjuncion. Esto permite expresar la correccion de un programa (con precondicion y postcondicion determinadas) mediante la adjuncion de dos funtores que son el propio programa y su correspondiente operador de precondicion mas debil.  como resultado colateral, se realiza una nueva caracterizacion de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una interpretacion logico-algebraica de la semantica de la programacion<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una interpretacion logico-algebraica de la semantica de la programacion <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Aurora Perez Perez <\/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\/1991<\/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>Luis Mar\u00eda Laita De La Rica<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Luis Mate Hernandez <\/li>\n<li>Antonio Insua Negrao (vocal)<\/li>\n<li>Juan Pazos Sierra (vocal)<\/li>\n<li>Luis L\u00f3pez Corral (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Aurora Perez Perez Se utiliza la teoria de categorias y, en concreto, determinadas categorias preorden, para abordar [&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":[2809,1890,126,16008,2808,6473],"tags":[108612,153722,4012,18538,10819,7528],"class_list":["post-137705","post","type-post","status-publish","format-standard","hentry","category-algebra","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-madrid","category-teoria-de-categorias","category-teoria-de-la-programacion","tag-antonio-insua-negrao","tag-aurora-perez-perez","tag-juan-pazos-sierra","tag-luis-lopez-corral","tag-luis-maria-laita-de-la-rica","tag-luis-mate-hernandez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/137705","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=137705"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/137705\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=137705"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=137705"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=137705"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}