TEORIA DE MODELOS
Página 1 de 2. Mostramos 20 registros (del 1 al 20) de un total de 22
1 | 2
-
Autor: SOUTO ALVEDRO M. JESUSAño: 1999Universidad: SANTIAGO DE COMPOSTELAResumenLos modelos de simulación atmosférica han sido durante los últimos 30 años una herramienta esencial para la meteorología, tanto para la investigación propiamente dicha como para el establecimie ... [Sigue]
-
Autor: MEDINA MORENO JESÚSAño: 2001Universidad: MALAGAResumense introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general de programación lógica extendida, la programación lógica multi-adjunta, que permite tra ... [Sigue]
-
Autor: GÁMEZ CÁMARA MANUELAño: 1998Universidad: ALMERIAResumenEn esta memoria se considera un sistema diferencial cooperativo en el sentido de que los especies se favorecen entre ellos. Dicho sistema se toma estable, a partir de lo cual es conocido que posee u ... [Sigue]
-
Autor: RUIZ GOMEZ JOSEAño: 2000Universidad: MALAGAResumenEl control principal de este trabajo es proponer una metodologia para el modelado de sistemas dinámicos, basado en tecnicas de aprendizaje inductivo y realizado mediante logica borrosa. Esta metodol ... [Sigue]
-
Autor: VIVES MACIA FRANCISCOAño: 1998Universidad: ALICANTEResumenEn esta tesis se ha elaborado un estudio sobre la modelización de los sistemas complejos desde el punto de vista de la linguística matemática y la teoría de la codificación. En ella se han const ... [Sigue]
-
Autor: OTERO CORTE JOSE AURELIOAño: 1998Universidad: OVIEDOResumenEl principal objetivo del trabajo es resolver un problema de programación óptima en un sistema didrotérmico a corto plazo, considerando múltiples objetivos. El sistema se caracteriza por el model ... [Sigue]
-
Autor: VALVERDE RAMOS AGUSTINAño: 1998Universidad: MALAGAResumenEL trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea que se aborda desde el estudio de la satisfacibilidad en lógicas signadas. Una de las aportacion ... [Sigue]
-
Autor: LLORET CLIMENT MIGUELAño: 1996Universidad: ALICANTEResumenEN ESTE TRABAJO SE FORMALIZAN MATEMATICAMENTE Y SE ESTUDIAN LOS ASPECTOS MAS IMPORTANTES DE LO QUE CONSTITUYE UNA TEORIA GENERAL DE SISTEMAS, LA CUAL SE APLICA A LA FORMALIZACION MATEMATICA DE LOS SI ... [Sigue]
-
Autor: ELGUETA MONTO RAIMONAño: 1996Universidad: BARCELONA
-
Autor: AGUILERA VENEGAS GABRIELAño: 1996Universidad: MALAGAResumenESTA TESIS ESTUDIA LA DEMOSTRACION AUTOMATICA DE TEOREMAS EN LOGICAS TRIVALUADAS. CONCRETAMENTE SE PRESENTA UN DEMOSTRADOR DENOMINADO TAS-M3 PARA LA LOGICA TRIVALUADA COMPLETA M3. ESTA TESIS CUENTA C ... [Sigue]
-
Autor: DELLUNDE CLAVE PILARAño: 1995Universidad: BARCELONAResumenLA TESIS DOCTORAL "CONTRIBUTIONS TO THE MODEL THEORY OF EQUALITY-FREE LOGIC" ES UN ESTUDIO DE LA TEORIA DE MODELOS DE LA LOGICA SIN IDENTIDAD. SE ESTUDIA EL FRAGMENTO DE LA LOGICA DE PRIMER ORDEN COM ... [Sigue]
-
Autor: FARRE CIRERA RAFAELAño: 1992Universidad: BARCELONAResumenLA TESIS SE DIVIDE EN CINCO CAPITULOS MAS UNO DE PRELIMINARES ALGEBRAICOS. EN EL CAPITULO 1 SE RESUELVE UN ANALOGO AL 17 PROBLEMA DE HILBERT, I.E., SE CARACTERIZAN LAS FRACCIONES RACIONALES DEFINIDAS ... [Sigue]
-
Autor: CARRASCAL PLATAS BEGOÑAAño: 1992Universidad: PAIS VASCOResumenEN ESTE TRABAJO SE CARACTERIZAN DIFERENTES SUBCLASES DE ORDENES PARCIALES MEDIANTE ENUNCIADOS DE LENGUAJES LOGICOS INGINITARIOS ADECUADOS (DEPENDIENTES DEL CARDINAL DEL ORDEN CONSIDERADO). EN UN PRIM ... [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: MARTINEZ ALONSO JUAN CARLOSAño: 1982Universidad: COMPLUTENSE DE MADRID
-
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: 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: 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: 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: RAMIREZ LABRADOR JOSEAño: 1979Universidad: SEVILLAResumenESTA 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]
1 | 2