Una técnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables

• Autores: María Teresa Hortala González
• Directores de la Tesis: Baldomero Rubio Segovia (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 1978
• Idioma: español
• Tribunal Calificador de la Tesis: Sixto Ríos García (presid.), Baldomero Rubio Segovia (secret.), Alberto Dou Mas de Xaxàs (voc.), Enrique Linés Escardó (voc.), Jesús Mosterín (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Teoría de lenguajes formales
• Texto completo no disponible (Saber más ...)
• Resumen

  • OBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL LENGUAJE CON N-CLASES DE VARIABLES TODOS LOS RESULTADOS CONOCIDAS DEL LENGUAJE DE PRIMER ORDEN USUAL (1-CLASE DE VARIABLES),