SISTEMAS FORMALES

• AXIOMATIZACION DE LAS MEDIDAS DE INCLUSION DIFUSAS DE V YOUNG CONSTRUCCION A PARTIR DE OPERADORES DE AGREGACION E IMPLICACION DE OTROS INDICES
  Autor: SORIA DE DIEGO FERNANDO
  Año: 2003
  Universidad: PUBLICA DE NAVARRA
  Resumen

  EN LA MEMORIA SE ESTUDIAN LAS DISTINTAS DEFINICIONES DE MEDIDAS DE INCLUSIÓN DIFUSAS, SE DAN NUEVAS DEFINICIONES DE ESTAS MEDIDAS Y SE PROPONE UNA CONSTRUCCIÓN A PARTIR DE OPERADORES DE AGREGACIÓ ... [Sigue]
• PRAGMATICA DE LA SINTESIS DE PROGRAMAS LÓGICOS
  Autor: ROBERT SON DAVID
  Año: 1999
  Universidad: AUTONOMA DE BARCELONA
  Resumen

  Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones Cláusulas de Horn ejecutables como programas lógicos. Estos métodos son aplicables al diseño y ... [Sigue]
• RESOLUCION SL*: UN PARADIGMA BASADO EN RESOLUCION LINEAL PARA LA DEMOSTRACION AUTOMATICA.
  Autor: CASAMAYOR RODENAS JUAN CARLOS
  Año: 1996
  Universidad: POLITECNICA DE VALENCIA
  Resumen

  EL TRABAJO INCLUIDO EN LA PRESENTE TESIS SE ENMARCA DENTRO DEL CAMPO DE LA DEMOSTRACION AUTOMATICA DE TEOREMAS Y CONSISTE EN EL ESTUDIO, DEFINICION Y DESARROLLO DE UN PARADIGMA DE RESOLUCION LINEAL, ... [Sigue]
• CONJUNTOS INTUICIONISTAS E INTERVALO-VALORADOS DIFUSOS: PROPIEDADES Y CONSTRUCCION. RELACIONES INTUICIONISTAS Y ESTRUCTURAS
  Autor: BUSTINCE SOLA NICANOR HUMBERTO
  Año: 1993
  Universidad: PUBLICA DE NAVARRA
  Resumen

  LA MEMORIA ESTUDIA SISTEMATICAMENTE LOS CONJUNTOS INTUICIONISTAS DIFUSOS. ANALIZA LAS ESTRUCTURAS ALGEBRAICAS DE LOS CITADOS CONJUNTOS, DE LOS CONJUNTOS DIFUSOS INTERVALO-VALORADOS, DE LOS INTERVALO- ... [Sigue]