LOGICA

• ALGUNAS CONTRIBUCIONES AL ANALISIS DE SERIES TEMPORALES. MODELIZACION Y APLICACIONES.
  Autor: ALONSO GAJON PASCUAL
  Año: 1981
  Universidad: POLITECNICA DE MADRID
  Resumen

  APORTACIONES A LA METODOLOGIA DE LA MODELIZACION UNIVARIANTE Y MULTIVARIANTE DE BOX-JENKINS MEDIANTE PROCESOS ESTOCASTICOS ESTACIONARIOS. ECUACIONES EN DIFERENCIAS FINITAS INFERENCIA ESTADISTICA Y AP ... [Sigue]
• EXTENSIONES DEL SISTEMA L3 DE LOGICA TRIVALENTE.
  Autor: SARABIA ALVAREZ HUDE E. JAIME
  Año: 1980
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  EN LA TESIS SE DESARROLLAN TEMAS FORMALES SOBRE LA LOGICA L3 SE DEFINEN Y ESTUDIAN CALCULOS DE DEDUCCION NATURAL AXIOMATICOS Y SECUENCIALES Y CIERTOS TEOREMAS DE LA TEORIA DE MODELOS PARA L3 COMO LOS ... [Sigue]
• UN ESTUDIO ALGEBRAICO DE LOS CALCULOS PROPOSICIONALES DE LUKASIEWICZ.
  Autor: RODRIGUEZ SALAS ANTONIO JESUS
  Año: 1980
  Universidad: BARCELONA
  Resumen

  TRAS UNA BREVE PRESENTACION DE LAS ALGEBRAS DE SALES ASOCIADAS A LA PARTE IMPLICATIVA DEL CALCULO PROPOSICIONAL INFINITO VALENTE DE LUKASIEWICZ SE ESTUDIAN LAS PROPIEDADES LOGICO-ALGEBRAICAS MAS IMPO ... [Sigue]
• LOGICA PROPOSICIONAL SUMULISTA. BASES HISTORICO-TEXTUALES.
  Autor: IZQUIERDO ARROYO JOSE M.
  Año: 1980
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  SE PRESENTA EN SUS BASES TEXTUALES E HISTORICAS LA LOGICA PROPOSICIONAL TEORIZADA EN LAS UNIVERSIDADES EUROPEAS ENTRE 1230 Y 1650. EN UN CORPUS DE TEXTOS SISTEMATICA Y DIACRONICAMENTE ORGANIZADOS SE ... [Sigue]
• ESTUDI I ALGEBRAITZACIO DE CERTES LOGIQUES: ALGEBRES D-COMPLETES.
  Autor: TORRENS TORRELL ANTONIO
  Año: 1979
  Universidad: BARCELONA
  Resumen

  SE OBTIENEN Y ESTUDIAN LAS ALGEBRAS D-COMPLETAS COMO LAS ALGEBRAS IMPLICATIVAS ASOCIADAS A CIERTOS CALCULOS PROPOSICIONALES IMPLICATIVOS. QUE SATISFACEN UN TEOREMA DE LA DEDUCCION DEBIL Y CONTIENEN A ... [Sigue]
• SOBRE ULTRAPRODUCTOS DE ESPACIOS DE BANACH EN CUERPOS NO ARQUIMEDIANOS.
  Autor: RAMIREZ LABRADOR JOSE
  Año: 1979
  Universidad: SEVILLA
  Resumen

  ESTA DEDICADO A INTRODUCIR LOS ULTRAPRODUCTOS EN ESPACIOS NORMADOS SOBRE CUERPOS NO ARQUIMEDIANOS NO DISCRETOS. DAMOS UN LENGUAJE LOGICO L CON 4 PREDICADOS UNITARIOS UN PREDICADO BINARIO Y DIVERSAS F ... [Sigue]
• UNA TEORIA DE TIPOS ESTRUCTURADOS DE DATOS.
  Autor: OREJAS VALDES FERNANDO
  Año: 1979
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  PRESENTACION DE UN NUEVO METODO PARA LA ESPECIFICACION DE TIPOS ESTRUCTURADOS DE DATOS BASADO EN SU DEFINICION COMO ESPACIOS DE FUNCIONES. SIENDO SUS PRINCIPALES CARACTERISTICAS LA CONSTRUCTIVIDAD Y ... [Sigue]
• MODELOS DE COMUNICACION CIENTIFICA (CIENCIA-CIENCIA CIENCIA-SOCIEDAD).
  Autor: FERNANDEZ DEL MORAL ALFONSO JAVIER
  Año: 1979
  Universidad: NAVARRA
  Resumen

  SE PROPONEN UNOS MODELOS DENTRO DE LA CIENCIA EN GENERAL; DE CADA CIENCIA EXPERIMENTAL -EN ESPECIAL DE LA QUIMICA- DE CADA ESPECIALIDAD; Y DE LA CIENCIA CON LA SOCIEDAD. PARA CONSEGUIR LA EFECTIVIDAD ... [Sigue]
• EL SER EN LAS PROPOSICIONES SEGUN SANTO TOMAS DE AQUINO.
  Autor: ALTEREJOS MASOTA FRANCISCO MIGUEL
  Año: 1979
  Universidad: NAVARRA
  Resumen

  SEGUN L. WITTGENSTEIN Y R. CARNAP LA METAFISICA CLASICA NO DISTINGUIO CLARAMENTE ENTRE LOS DIFERENTES SENTIDOS QUE SE ENCIERRAN EN EL TERMINO SER ; ESTA CONFUSION ADEMAS ERA LA CAUSA DE GRAN PARTE DE ... [Sigue]
• TEORIA DE MODELOS EN LA FONOLOGIA DEL ESPAÑOL ACTUAL.
  Autor: PINEDA PEREZ MIGUEL ANGEL
  Año: 1978
  Universidad: SEVILLA
• LENGUAJE APL E IMPLICACIONES EN LOGICA SIMBOLICA.
  Autor: LORENTE TALLADA JUAN MANUEL
  Año: 1978
  Universidad: VALENCIA
  Resumen

  EL TRABAJO CONSISTE EN LA PRESENTACION DE UN CALCULO QUE ARITMETIZA EL METODO DE RESOLUCION DE ROBINSON. SE PRESENTA PARA EL CALCULO PROPOSICIONAL Y SE AMPLIA AL CALCULO DE PREDICADOS PREVIA NORMALIZ ... [Sigue]
• UN METODO DE APROXIMACIONES FINITAS EN LA LOGICA DE PRIMER ORDEN.
  Autor: RODRIGUEZ ARTALEJO MARIO
  Año: 1977
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  SE PARTE DE TRABAJOS DE J. HINTIKKA WISCHONFELD Y T. WOLF SOBRE LA FORMA NORMAL DISTRIBUTIVA LA CARACTERIZACION DE FRAISSE DE LA EQUIVALENCIA ELEMENTAL Y LA APLICACION DE ESTAS TECNICAS AUN TRATAMIEN ... [Sigue]
• CLASIFICACION DE LOS ESPACIOS HOMOGENEOS NATURALMENTE REDUCTIVOS: EJEMPLOS. CONEXION CARACTERISTICA.
  Autor: RAMIREZ FERNANDEZ ANTONIO
  Año: 1977
  Universidad: VALENCIA
  Resumen

  EN EL CAP. I SE CLASIFICAN LAS ESTRUCTURAS CASI-HERMITICAS SOBRE LOS ESPACIOS HOMOGENEOS NATURALMENTE REDUCTIVOS UTILIZANDO PARA ELLO LA METRICA PROYECCION DE LA UNICA METRICA RIEMANNIANA BI-INVARIAN ... [Sigue]
• DEFINIBILIDAD MEDIANTE R-TIPOS DE N-ISOMORFIA.
  Autor: LEACH ALDERT JAVIER
  Año: 1977
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  SIMPLIFICACION Y UNIFICACION DE LA DEMOSTRACION DE LOS TEOREMAS DE DEFINIBILIDAD DE BETH SUENONIUS CHANG-MAKKAI Y KUEKER. DEMOSTRACION DEL TEOREMA DE CHANG-MAKKAI SIN UTILIZAR MODELOS ESPECIALES O MO ... [Sigue]
• UNA TECNICA PARA EL ESTUDIO DE RELACIONES ENTRE ESTRUCTURAS PARA LENGUAJES CON VARIAS CLASES DE VARIABLES.
  Autor: HORTALA GONZALEZ M. TERESA
  Año: 1977
  Universidad: COMPLUTENSE DE MADRID
  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 ... [Sigue]
• UN INTENTO DE SINTESIS DE LA METODOLOGIA DE LAS CIENCIAS EMPRESARIALES.
  Autor: LOPEZ FABA ARSENIO
  Año: 1976
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  EN LOS MOMENTOS ACTUALES SE CONTEMPLA LA CIENCIA SIN ENCONTRARSE SUPEDITADA A DOGMATICOS ESQUEMAS DEL POSITIVISMO DADO QUE LA VALIDEZ DE LA MISMA NO SE FUNDAMENTA EXCLUSIVAMENTE EN EL RIGOR LOGICO SI ... [Sigue]