Ir al contenido

Documat


Contribuciones topológicas y algebraicas a los métodos formales en programación declarativa

  • Autores: Andrés Bujosa Brun Árbol académico
  • Directores de la Tesis: Regino Criado Herrero (dir. tes.) Árbol académico
  • Lectura: En la Universidad Politécnica de Madrid ( España ) en 1993
  • Idioma: español
  • Tribunal Calificador de la Tesis: Carlos Vega Vicente (presid.) Árbol académico, Lorenzo Javier Martín García (secret.) Árbol académico, Eva María Sánchez Mañés (voc.) Árbol académico, Luis Manuel Ruiz Virumbrales (voc.) Árbol académico, Juan Tarrés Freixenet (voc.) Árbol académico
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • 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: "LOS ESPACIOS SEMANTICOS" Y "EL AXIOMA DE COMPACIDAD". 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ÑAS, 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 "GUARDED" (EN EL SENTIDO DE HOARE), Y A LA DESCRIPCION DE LA OPERACION DE UNIFICACION DE EXPRESIONES.


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno