{"id":48546,"date":"2020-10-24T14:38:07","date_gmt":"2020-10-24T14:38:07","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/g-p-f-a-r-un-sistema-transformacional-para-el-analisis-verificacion-y-calculo-inteligente-de-un-conjunto-de-funciones-en-recursividad-cruzada\/"},"modified":"2020-10-24T14:38:07","modified_gmt":"2020-10-24T14:38:07","slug":"g-p-f-a-r-un-sistema-transformacional-para-el-analisis-verificacion-y-calculo-inteligente-de-un-conjunto-de-funciones-en-recursividad-cruzada","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/g-p-f-a-r-un-sistema-transformacional-para-el-analisis-verificacion-y-calculo-inteligente-de-un-conjunto-de-funciones-en-recursividad-cruzada\/","title":{"rendered":"G.p.f.a.r un sistema transformacional para el analisis verificacion y calculo inteligente de un conjunto de funciones en recursividad cruzada"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Garijo Mazario Francisco Javier <\/strong><\/h2>\n<p>La memoria presentada describe la realizacion de un sistema de generacion automatica de programas. El sistema recibe como entrada un problema expresado mediante un conjunto de funciones (recursivas o no) mutuamente interdependiente.El sistema verifica la correccion sintactica y semantica del problema dando comosalida el programa optimo escrito en lenguaje de alto nivel (pl\/1) capaz de calcular el problema planteado. Para la obtencion de un programa optimo  el sistema es capaz de obtener un enunciado equivalente mediante la aplicacion de un conjunto de reglas formales que conservan la semantica del mismo.  la base de funcionamiento del sistema esta constituida por tecnicas de inteligencia artificial.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>G.p.f.a.r un sistema transformacional para el analisis verificacion y calculo inteligente de un conjunto de funciones en recursividad cruzada<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 G.p.f.a.r un sistema transformacional para el analisis verificacion y calculo inteligente de un conjunto de funciones en recursividad cruzada <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Garijo Mazario Francisco Javier <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Pa\u00eds vasco\/euskal herriko unibertsitatea<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1981<\/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>Isidro Ramos Salavert<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Luis Gurruchaga Vazquez <\/li>\n<li>Manuel Marti Recober (vocal)<\/li>\n<li>Isidro Ramos Salavert (vocal)<\/li>\n<li>Antonio  Ram\u00f3n Vaquero S\u00e1nchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Garijo Mazario Francisco Javier La memoria presentada describe la realizacion de un sistema de generacion automatica de [&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,2528,126,12909],"tags":[6568,112871,17055,112872,47781],"class_list":["post-48546","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-matematicas","category-pais-vasco-euskal-herriko-unibertsitatea","tag-antonio-ramon-vaquero-sanchez","tag-garijo-mazario-francisco-javier","tag-isidro-ramos-salavert","tag-luis-gurruchaga-vazquez","tag-manuel-marti-recober"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/48546","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=48546"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/48546\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=48546"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=48546"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=48546"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}