LOGICA DEDUCTIVA
Página 1 de 2. Mostramos 20 registros (del 1 al 20) de un total de 28
1 | 2
-
Autor: SOBRINO CERDEIRIÑA ALEJANDROAño: 1989Universidad: SANTIAGO DE COMPOSTELAResumenEN ESTE TRABAJO SE ESTUDIAN DISTINTAS APORTACIONES QUE SOBRE LA VAGUEDAD SE HICIERON A PRINCIPIOS DE SIGLO Y SE DISTINGUEN, PARADIGMATICAMENTE, TRES TIPOS DE ONTOLOGIAS SUBYACENTES A SU CONSIDERACION ... [Sigue]
-
Autor: FRIAS DELGADO ANTONIOAño: 1986Universidad: GRANADAResumenLA LOGICA MODAL DE LA DEMOSTRABILIDAD ES UN IMPORTANTE CAMPO DE LA LOGICA ACTUAL EN EL QUE LOS SISTEMAS MODALES SE UTILIZAN COMO INSTRUMENTO PARA ESTUDIAR LAS PROPIEDADES BASICAS DE LA DEDUCIBILIDAD ... [Sigue]
-
Autor: FRAPOLLI SANZ M. JOSEAño: 1986Universidad: GRANADAResumenEL TRABAJO TRATA DE LA APARICION DE LA TEORIA DE CONJUNTOS Y NUMEROS TRANSFINITOS EN LA OBRA DE CANTOR SEÑALANDO EN PRIMER LUGAR LA COHERENCIA DE LAOBRA DEL AUTOR RECORRIDA POR DOS ACTITUDES FILOSOF ... [Sigue]
-
Autor: CASANOVAS RUIZ FORNELLS ENRIQUEAño: 1986Universidad: BARCELONAResumenSE ESTUDIAN CIERTAS VERSIONES DEL TEOREMA DE COMPACIDAD Y DEL TEOREMA DE COMPLETUD EN SU APLICACION A EXTENSIONES DE LA LOGICA DE PRIMER ORDEN. CONCRETAMENTE SE CONSIDERAN M-LOGICAS Y K-LOGICAS DONDE ... [Sigue]
-
Autor: AIZPURU TOMAS ANTONIOAño: 1986Universidad: SEVILLAResumenSE ESTUDIAN LAS ALGEBRAS DE BOOLE CON LAS PROPIEDADES DE VITALI-HAHN-SAKS (VHS) GROTHENDIECK (G) NIKODYM (N) Y DE ROSENTHAL (R). SE COMIENZA DANDO DIVERSAS CONDICIONES NECESARIAS PARA QUE UN ALGEBRA ... [Sigue]
-
Autor: FARINAS DEL CERRO LUISAño: 1983Universidad: COMPLUTENSE DE MADRID
-
Autor: SANCHEZ GARCIA ADORACIONAño: 1982Universidad: VALENCIAResumenLA TESIS CONSTITUYE UN ESTUDIO DE LAS APORTACIONES DE KALINOWSKI A LA LOGICA DE NORMAS MATERIA DE LA QUE ES UNO DE SUS CREADORES. EL ESTUDIO SE HA REALIZADO DESDE LA PERSPECTIVA DE LAS SEMANTICAS DE ... [Sigue]
-
Autor: MARTINEZ ALONSO JUAN CARLOSAño: 1982Universidad: COMPLUTENSE DE MADRID
-
Autor: GABARRO VALLES JOAQUINAño: 1982Universidad: POLITECNICA DE CATALUÑA
-
Autor: FERNANDEZ MARGARIT ALEJANDROAño: 1982Universidad: SEVILLAResumenLA IDEA CENTRAL DE ESTE TRABAJO CONSISTE EN LA INTRODUCCION DEL CONCEPTO DE COCIENTE EN LA TEORIA DE MODELOS. LA CONSTRUCCION DEL COCIENTE EN ALGEBRA NO ES DIRECTAMENTE GENERALIZABLES PUES HACE USO D ... [Sigue]
-
Autor: CLARES RODRIGUEZ BUENAVENTURAAño: 1982Universidad: GRANADAResumenEL OBJETO DE LA PRESENTE MEMORIA ES CONSTRUIR Y ANALIZAR UN MODELO TEORICO PARA LA CALCULABILIDAD DE PROBLEMAS EN AMBIENTE BORROSO (DIFUSO). EN EL CAPITULO 1 DE LA MEMORIA SE INTRODUCE EL CONCEPTO DE ... [Sigue]
-
Autor: CAMPOS ROSELLO FRANCISCO JOSEAño: 1982Universidad: VALENCIAResumenSE ESTABLECEN LA CONDICIONES QUE HA DE SATISFACER UN ALGORITMO; SE INTRODUCEN LOS CONCEPTOS BASICOS DE LA TEORIA DE FUNCIONES RECURSIVAS; SE DESARROLLAN DOS PROCEDIMIENTOS (ALGORITMO) DE RECURSION (A ... [Sigue]
-
Autor: BERTELLOTTI BOUZADA ECIO ANTONIOAño: 1982Universidad: POLITECNICA DE CATALUÑAResumenEN ESTE TRABAJO SE ANALIZA LA DEPENDENCIA ENTRE LOS DESPLAZAMIENTOS Y CIERTAS DEFORMACIONES CONVENIENTEMENTE DEFINIDAS DE UNA PIEZA UNIDIMENSIONAL EN EL ESPACIO TRIDIMENSIONAL. DICHA DEPENDENCIA ESTA ... [Sigue]
-
Autor: VALVERDE GARCIA LORENZOAño: 1981Universidad: POLITECNICA DE CATALUÑA
-
Autor: JANSANA FERRER RAMONAño: 1981Universidad: BARCELONAResumenEN ESTA TESIS SE PRESENTAN FUNDAMENTALMENTE DOS RESULTADOS NUEVOS EN EL CONTEXTO DE LA APLICABILIDAD DEL METODO DE LOS MODELOS BOOLEANOS A LA OBTENCION DE PRUEBAS METATEORICAS PARA TEORIAS IMPREDICAT ... [Sigue]
-
Autor: JANE PALAU IGNACIOAño: 1981Universidad: BARCELONAResumenSE TRATAN DIVERSOS TEMAS DE LOGICA DE SEGUNDO ORDEN TODOS ELLOS RELACIONADOS CON EL CONCEPTO DE ESTRUCTURA GENERAL. SE PRESENTA UNA NUEVA CARACTERIZACION NO SEMANTICA DE ESTE CONCEPTO SE PRUEBAN TEOR ... [Sigue]
-
Autor: FONT LLOVET JOSE M.Año: 1981Universidad: BARCELONAResumenSE ESTUDIAN TRES SISTEMAS DE LOGICA MODAL INTUICIONISTA Y SUS MODELOS ALGEBRAICOS CON LAS TECNICAS DE H. RASIOWA Y A. MONTEIRO Y SUS ESCUELAS. IM4 ES EL SISTEMA ANALOGO INTUICIONISTA DE S4 Y LE CORRE ... [Sigue]
-
Autor: SARABIA ALVAREZ HUDE E. JAIMEAño: 1980Universidad: COMPLUTENSE DE MADRIDResumenEN 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]
-
Autor: RODRIGUEZ SALAS ANTONIO JESUSAño: 1980Universidad: BARCELONAResumenTRAS 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]
-
Autor: IZQUIERDO ARROYO JOSE M.Año: 1980Universidad: COMPLUTENSE DE MADRIDResumenSE 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]
1 | 2