{"id":129224,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodos-formales-para-normalizacion-en-logica-de-primer-orden-usando-la-metodologia-tas\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"metodos-formales-para-normalizacion-en-logica-de-primer-orden-usando-la-metodologia-tas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/metodos-formales-para-normalizacion-en-logica-de-primer-orden-usando-la-metodologia-tas\/","title":{"rendered":"Metodos formales para normalizacion en logica de primer orden usando la metodolog\u00eda tas."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Manuel Ojeda Aciego <\/strong><\/h2>\n<p>En la logica de primer orden la obtencion de formas normales es un prerrequisito de los metodos de demostracion mas eficaces; pero usualmente los algoritmos que realizan esa tarea son la parte mas debil de los mismos: en este trabajo se presentan metodos para obtener formas prenexas y de skolem basados en la metodolog\u00eda tas; consistente en un fino analisis del arbol sintactico de la formula para detectar tautolog\u00edas, contradicciones o subformulas equivalentes (o simultaneamente satisfacibles) a otras de menor tama\u00f1o; su principal objetivo es retrasar todo lo posible la tarea que produce la complejidad exponencial: la distribucion, y en todo caso realizarla de modo eficiente y paralelo.Un sutil analisis sobre la dependencia de variables y el aprovechamiento de las posibilidades de simplificacion de la forma normal negativa permite proporcionar formas normales sorprendentemente simples en muchos casos, lo cual hace de los metodos introducidos unas herramientas extraordinariamente utiles en el campo de la demostracion automatica.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodos formales para normalizacion en logica de primer orden usando la metodolog\u00eda tas.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodos formales para normalizacion en logica de primer orden usando la metodolog\u00eda tas. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Manuel Ojeda Aciego <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/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>Inmaculada Perez De Guzman Molina<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Triguero Ruiz <\/li>\n<li>Jos\u00e9 Mu\u00f1oz Perez (vocal)<\/li>\n<li> Barja Perez Jos\u00e9 Mar\u00eda (vocal)<\/li>\n<li>Sixto Romero S\u00e1nchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito [&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,3747,3748,10816,7834,126],"tags":[3754,7838,24725,24726,74745,56148],"class_list":["post-129224","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-logica","category-logica-deductiva","category-logica-matematica","category-malaga","category-matematicas","tag-barja-perez-jose-maria","tag-francisco-triguero-ruiz","tag-inmaculada-perez-de-guzman-molina","tag-jose-munoz-perez","tag-manuel-ojeda-aciego","tag-sixto-romero-sanchez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/129224","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=129224"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/129224\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=129224"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=129224"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=129224"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}