Ir al contenido

Documat


Aproximació algebraica a la lògica default mitjançant l'estudi de les n-cadenes dels sistemes d'informació

  • Autores: Carles Garcia Amengual
  • Directores de la Tesis: Nadal Batle Nicolau (dir. tes.) Árbol académico
  • Lectura: En la Universitat de les Illes Balears ( España ) en 1992
  • Idioma: catalán
  • Tribunal Calificador de la Tesis: Llorenç Valverde García (presid.) Árbol académico, José Luis Maté Hernández (secret.) Árbol académico, Josep Blat Gimeno (voc.) Árbol académico, Josep Grané Manlleu (voc.) Árbol académico, Juan Pazos Sierra (voc.) Árbol académico
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • Esta tesis doctoral presenta una aproximacion algebraica a la logica default, introducida a partir de los sistemas de informacion de dana scott, despues de estudiar, sobre algebras universales, las n-cadenas de los sistemas de informacion,para ello se amplian las propiedades y los teoremas de los sistemas y se estudia la informacion sacada de un conjunto cualquiera, de un conjunto deductivamente consistente y de un conjunto deductivamente cerrado. El estudio de las n-cadenas sobre el algebra universal asociada a un conjunto se hace mediante 12 aproximaciones hasta llegar al teorema de reiter.


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno