TEORIA DE MODELOS

Autor: MEDINA MORENO JESÚS.
Año: 2001.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: se 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 trabajar con información incompleta, vaguedad e incertidumbre. Una de las ventajas de la programación lógica multi-adjunta es que permite utilizar conjuntamente: varias implicaciones, varios conjuntores, varias disyunciones y varios agregadores, no exigiendo la conmutatividad o asociatividad de los conectivos utilizados. Una vez introducido el operador de consecuencias, en nuestro marco de trabajo, se demuestran condiciones suficientes y condiciones necesarias para su continuidad, propiedad importaate si se quiere obtener una semántica computacional para los programas lógicos multi-adjuntos. Se presenta una semántica operacional para este marco general de trabajo, demostrándose el teorema de correccion, varios teoremas de cuasi-completitud y un teorema de completitud sobre la semántica de respuestas máximas. Finalmente se presenta una aplicación de toda la herramienta matemática presentada para el problema de la abducción.

Autor: RUIZ GOMEZ JOSE.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIERIA INDUSTRIAL.

Resumen: El 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 metodologia permite realizar, de una forma automática, la adquisición de conocimiento a partir de un conjunto de datos experimentales. Dicho conocimiento se alcanza mediante clasificacion (clustering), es decir, mediante un aprendizaje no supervisado que separa las observaciones en clases. Esta adquisicion automatica de conocimiento puede ocasionar una falta de comprension de lo que ocurre en el sistema, por lo que uno de los objetivos de la modelizacion propuesta es la transperencia e interpretabilidad de los modelos. Esa es la razón principal para la codificacion del conocimiento adquirido como un conjunto de reglas SI-ENTONCES, con el formato de mamdani, formato que permite una gran transparencia de los modelos. Los modelos reflejan el de una forma sencilla e intituitiva el comportamiento del sistema, y estan orientados hacia su utilizacion, principalmente, en el area de control(Control borroso basado en modelos o "Perception Based Modelling" según la expresión de L. Zadeh). Dos de los metodos(los basados en los algoritmos de aprendizaje ID3 y EG2) permiten la simplificacion de los modelos a traves de una selección de aquellas variables de entrada que posean una mayor revelancia. Esta simplificación puede realizarse de forma objetiva o subjetiva, ya que el segundo metodo de simplificacion permite la modificacion del peso de las variables de entrada según el criterio del usuario, lo que le añade una caracteristica de flexibilidad al proceso de modelado. Para su aplicación se han utilizado dos plantas: el robot autonomo RAM, desarrollado en la Universidad de Malaga y un proceso de depuracion de agua modelado ya por Sugeno y Takagi. Los metodos propuestos han sido implantados en una herramienta informatica realizada en C y compatible con la "Fuzzy Toolbox" de MATLAB. Esta herramienta puede servir a usuarios no expertos en modelado que necesiten conocer el comportamiento de un sistema dinamico partiendo de un conjunto de datos experimentales.

Autor: SOUTO ALVEDRO M. JESUS.
Año: 1999.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.

Resumen: Los 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 establecimiento de una predicción operativa y resultan imprescindibles en el estudio de la dispersión de contaminantes en la atmósfera. En esta memoria se describe la aplicación de los modelos de predicción meteorológica en el entrono de la central térmica de As Pontes, situada en el norte de Gaicia. Estos modelos resuelven las ecuaciones fundamentales que describen el comportamiento de un fluido, en este caso la atmósfera, y se les ha acoplado un modelo lagrangiano de partículas, con el fin de predecir el comportamiento de los contaminantes emitidos por la central. Se dedica una especial atención a la comparación de los resultados obtenidos con los dos modelos de predicción meteorológica (hidrostático y no hidrostático) con el fin de conocer la influencia de la aplicación de la suposición hidrostática en un terreno especialmente complicado, que incluye zonas de interior y de montaña y zonas de mar en un radio de 30 KM. Se compran, además, los distintos esquemas de turbulencia que incluye cada modelo, que en el caso del modelo ARPS utiliza un cierre del sistema de ecuaciones de orden mayor que el del pimeteo, con los que se va a obtener información más completa de la dinámica turbulenta de la atmósfera. Las condiciones iniciales y de contorno necesarias en los modelos númericos también ocupan una parte importante de este trabajo, ya que exigen un adecuado ajuste que logre la correcta asimilación de información de gran escala por los modelos que se resuelven a una escala mucho menor. Con el modelo de predicción Pmeteo, combinado con el modelo lagrangiano de partículas, se ha logrado un buen compromiso entre la descripción de la física atmosférica necesaria para realizar una adecuada predicción meteorológica y el tiempo de cálculo necesario para ello. Esto hace que en la central térmica se disponga de una herramienta muy útil para la predicción de posibles impactos, que ofrece la predicción con tiempo suficiente para tomas las medidas adecuadas que permitan el control de la calidad del aire.

Autor: VALVERDE RAMOS AGUSTIN.
Año: 1998.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.

Resumen: EL 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 aportaciones de la tesis es la introducción de las lógicas signadas con dos enriquecimientos respecto de otras aproximaciones: se consideran más conectivos y se abre la sensibilidad de que las lógicas sean reducidas. La relación entre las lógicas multivaluadas y las lógicas signadas se establece con las transformaciones de signado; en la tesis se estudia la eficiencia de estas transformaciones y se describe una familia (que amplia las existentes en la bibliografía) de lógicas signables, es decir, que admiten una transformación de signado eficiente. Para el resto de las lógicas se propone una técnica alternativa: el signado perezoso, aplicable a demostradores basados en simplificaciones. En la segunda parte de la tesis construyen dos algoritmos de satisfacibilidad para lógicas signadas dentro de la metodología TAS. Estos algoritmos se describen mediante reducciones, transformaciones que disminuyen el tamaño, tanto de la fórmula como de la lógica, antes de aplicar los procesos de ramificación culpables de la complejidad exponencial de estos algoritmos. Estas transformaciones hacen uso de la información que se obtiene a partir de los implicantes e implicados de las subfórmulas de la una fórmula dada. En el segundo demostrador se utiliza una nueva representación de las fórmulas signadas, los a-árboles, para mejorar las transformaciones y reducir su coste computacional, debido a que se utilizan justamente los implicantes/implicados para describir la representación.

Autor: OTERO CORTE JOSE AURELIO.
Año: 1998.
Universidad: OVIEDO.
Centro de lectura: MATEMATICAS.

Resumen: El 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 modelo de red considerado, la capacidad de transmisión de las líneas, el acoplamiento hidráulico y la presencia de retraso en el transporte de alguna de las variables de control. Se estudian los tipos de red eléctrica: unimodal y multimodal. Surgen así dos problemas para los que se emplean sendos modelos matemáticos que al formalizarlos con un lenguaje más riguroso que el usual en la bibliografia sobre el tema, nos conduce al estudio de teoremas de existencia de solución. El problema variacional resultante de ambos tiene su tratamiento por medio de la ecuación de Euler. En el modelo multimodal se incorporan las restricciones de la red, por lo que se impone optimizar el flujo de carga. Asimismo, al incorporar el coste de combustible, la contaminación y las pérdidas por transmisión, se transforma el problema de optimización simple en uno combinado. Se concluye presentando un algoritmo de localización del punto óptimo, en el que se consigue lograr una gran velocidad de convergencia, escasa importancia de la elección de los valores iniciales y una gran versatilidad para casos de mayor complejidad y grandes dimensiones.

Autor: VIVES MACIA FRANCISCO.
Año: 1998.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.

Resumen: En 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 construído gramáticas regulares que generan lenguajes que serán utilizados en la modelización matemática de este tipo de sistemas. Se ha considerado la teoría de autómatas para construir los reconocedores finitos de los lenguajes generados y así tener garantizada su construcción computacional. Por otra parte, debido a la importancia que tiene en la modelización de sistemas complejos la obtención de un conjunto de ecuaciones que modelicen un mismo proceso se ha realizado un estudio sobre la codificación de las ecuaciones y construído códigos para facilitar su almacenamiento informático.#

Autor: GÁMEZ CÁMARA MANUEL.
Año: 1998.
Universidad: ALMERIA.
Centro de lectura: CIENCIAS EXPERIMENTALES.
Centro de realización: UNIVERSIDAD DE ALMERÍA.

Resumen: En 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 una solución T-penódico que atrae a todas las soluciones positivas del mismo. El principal resultado obtenido establece que para estos sistemas diferenciales el -- global depende de manera continua de la clase de funciones que determinan dichos sistemas, respeto a la topología de la convergencia uniforme en compactos. Como aplicación de este resultado se estudia el comportamiento -- de un sistema depredador-presa, constituido por presas y un depredador, dónde se considera que las presas en ausencia del depredador conforman un sistema cooperativo. Por último, se analizan mediante ejemplos obtenidos en ensayos de campo, las aplicaciones del modelo depredador-presa al control biológico.

Autor: AGUILERA VENEGAS GABRIEL.
Año: 1996.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA PROGRAMA DE DOCTORADO: TECNOLOGIA DE LA INFORMACION Y LAS COMUNICACIONES.

Resumen: ESTA 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 CON UNA ORIENTACION A LAS APLICACIONES Y ES DE GRAN IMPORTANCIA LA FORMA EN LA QUE SE GENERA EL MODELO PARA LA NEGACION DE LA FORMULA DE ENTRADA. ES UN METODO QUE NO ESTA BASADO EN RESOLUCION Y POR TANTO NO ADOLECE DE LAS DEFICIENCIAS DE ESTE METODO (POCA INTERACCION CON EL SER HUMANO, DIFICULTAD DE OBTENER FORMAS NORMALES EN LOGICAS NO CLASICAS, ETC.). ADEMAS DE LA DEMOSTRACION DE CORRECCION Y COMPLETITUD DEL METODO SE DEMUESTRAN OTROS TEOREMAS RELACIONADOS CON LOS PROCESOS. EL TRABAJO SE COMPLEMENTA CON UN ESTUDIO COMPARATIVO CON LOS METODOS ACTUALMENTE MAS UTILIZADOS. TAMBIEN SE AÑADEN CAPITULOS EN LOS QUE SE INTRODUCEN LOS CONCEPTOS QUE SE UTILIZAN A LO LARGO DEL TRABAJO ASI COMO UN CAPITULO DEDICADO A LAS LOGICAS MULTIVALUADAS. SE AÑADE UN APENDICE EN EL QUE SE RESUME EL DEMOSTRADOR PARA LA LOGICA CLASICA TAS-D AL QUE SE LE INCORPORAN LAS MEJORAS QUE EL ESTUDIO DEL CASO MULTIVALUADO HA MOTIVADO. EN LA EXPOSICION Y DEFENSA SE UTILIZA UNA IMPLEMENTACION DEL METODO PARA ENTORNOS GRAFICOS REALIZADA EN C++.

Autor: ELGUETA MONTO RAIMON.
Año: 1996.
Universidad: BARCELONA .
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: LOGICA, H I FILOSOFA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA PURA I APLICADA.

Autor: LLORET CLIMENT MIGUEL.
Año: 1996.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: DEPARTAMENTO: ANALISIS MATEMATICO Y MATEMATICA APLICADA PROGRAMA DE DOCTORADO: METODOS MATEMATICOS INFORMATICOS EN DINAMICA ESPACIAL.

Resumen: EN 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 SISTEMAS VIVOS Y CONCRETAMENTE LOS ECOLOGICOS. FUNCIONES IMPORTANTES BIOLOGICAS SE CARACTERIZAN Y ANALIZAN MATEMATICAMENTE (FUSION CELULAR,...). ES ADEMAS PRESENTADO UN MODELO TEORICO DE SIMULACION DE ECOSISTEMAS BASADO EN SISTEMAS DE ECUACIONES DIFERENCIALES, EL CUAL ES APLICADA Y VALIDADO PARA LA OBTENCION DE UN MODELO FLORAL. (CISTUS ALBIDUS L.)

Autor: DELLUNDE CLAVE PILAR.
Año: 1995.
Universidad: BARCELONA.
Centro de lectura: FILOSOFIA.
Centro de realización: DEPARTAMENTO: LOGICA, HISTORIA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA PURA Y APLICADA .

Resumen: LA 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 COMPUESTO POR LAS FORMULAS QUE NO TIENEN EL SIMBOLO DE IDENTIDAD. LOS CONCEPTOS FUNDAMENTALES ESTUDIADOS SON EL DE "CONGRUENCIA DE LEIBNIZ" Y EL DE "RELACION DE PARENTESCO (RELATIVE RELATION)". EL INTERES ACTUAL DE ESTAS NOCIONES PROCEDE DE LOS TRABAJOS DE W. BLOK Y DE D. PIGOZZI. HEMOS ESTUDIADO ESTA LOGICA DESDE EL PUNTO DE VISTA DE LA TEORIA DE MODELOS CLASICA, DESARROLLANDO TECNICAS USUALES EN TEORIA DE MODELOS: METODO DE LOS DIAGRAMAS, SISTEMAS DE BACK-AND-FORTH, ETC. CON EL FIN DE OBTENER CARACTERIZACIONES ALGEBRAICAS DE LA EQUIVALENCIA ELEMENTAL EN ESTA LOGICA Y TEOREMAS DE PRESERVACION. UNA DE LAS CONTRIBUCIONES MAS IMPORTANTES DE ESTE TRABAJO ES LA CARACTERIZACION DE LOS ENUNCIADOS DE PRIMER ORDEN QUE SON LOGICAMENTE EQUIVALENTES A UN ENUNCIADO SIN IDENTIDAD. HEMOS INTRODUCIDO LAS NOCIONES DE MODELO SATURADO, UNIVERSAL Y HOMOGENEO SIN IDENTIDAD. HEMOS ESTUDIADO SUS PROPIEDADES Y LAS HEMOS COMPARADO CON LAS DE LAS NOCIONES ANALOGAS EN LOGICA DE PRIMER ORDEN CON IDENTIDAD. FINALMENTE HEMOS ESTUDIADO EL FRAGMENTO UNIVERSAL DE HORN SIN IDENTIDAD DE LOS LENGUAJES INFINITARIOS , CON Y CARDINALES INFINITOS REGULARES. HEMOS OBTENIDO RESULTADOS DE CARACTERIZACION Y DE PRESERVACION. USANDO ESTOS RESULTADOS HEMOS DEMOSTRADO TEOREMAS DE INTERPOLACION Y DEFINIBILIDAD PARA ESTE FRAGMENTO.

Autor: CARRASCAL PLATAS BEGOÑA.
Año: 1992.
Universidad: PAIS VASCO.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: MATEMATICAS.

Resumen: EN ESTE TRABAJO SE CARACTERIZAN DIFERENTES SUBCLASES DE ORDENES PARCIALES MEDIANTE ENUNCIADOS DE LENGUAJES LOGICOS INGINITARIOS ADECUADOS (DEPENDIENTES DEL CARDINAL DEL ORDEN CONSIDERADO). EN UN PRIMER CAPITULO SE DEFINEN Y ESTUDIAN LOS BUENOS ORDENES PARCIALES Y SE VE COMO ES POSIBLE SU CARACTERIZAZION SALVO ISOMORFIAS, EN EL SEGUNDO CAPITULO DEFINIMOS LOS ORDENES PARCIALES FUERTEMENTE DISEMINADOS (SIN ANTICADENAS INFINITAS) Y PROBAMOS UN TEEOREMA DE CARACTERIZACION ABSOLUTA PARA LOS ORDENES CONTABLES DE ESTE TIPO. POR TULMINO EN EL TERCER CAPITULO HACEMOS LO MISMO CON LOS ARBOLES FUERTEMENTE DISEMINADOS EN GENERAL, PERO ESCRIBIENDO UN ENUNCIADO QUE NOS DA CUENTA DE UNA FORMA PRECISA DE COMO SE VA REALIZANDO ESTA CARACTERIZACION, ES DECIR, CON ESTE ENUNCIADO EXPRESAMOS TODA LA INFORMACION QUE TENEMOS SOBRE EL ARBOL CONSIDERADO.

Autor: FARRE CIRERA RAFAEL.
Año: 1992.
Universidad: BARCELONA.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: LOGICA, HISTORIA Y FILOSOFIA DE LA CIENCIA.

Resumen: LA 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 POSITIVAS (POSITIUSTELLENSATZ) PARA LOS CUERPOS CADENA-CERRADOS. EN EL SEGUNDO CAPITULO SE ESTUDIA LA TEORIA DE MODELOS DE LOS CUERPOS CUASI REAL-CERRADOS, ESTO ES, CUERPOS QUE ADMITEN UNA VALORACION HENSELIANA CON CUERPO RESIDUAL REAL-CERRADO. EN EL CAPITULO 3 SE EXTIENDEN LOS TEOREMAS DE AX-KOCHEN-ERSHOV EN CARACTERISTICA RESIDUAL IGUAL A CERO, AÑADIENDO A LA ESTRUCTURA DEL CUERPO UN SUBGRUPO DEL GRUPO MULTIPLICATIVO DEL CUERPO DE INDICE FINITO. EN EL CAPITULO 4 SE CARACTERIZAN LAS INMERSIONES EXISTENCIALMENTE CERRADAS PARA CIERTOS GRUPOS ABELIANOS ORDENADOS. EN EL CAPITULO CINCO SE USAN LOS RESULTADOS DEL CAPITULO 4 PARA OBTENER NULLSTELLENSATZE Y POSITIUSTELLENSATZE PARA UNA CLASE AMPLIA DE CUERPOS CUASI REAL-CERRADOS.Ñ

Autor: CASANOVAS RUIZ FORNELLS ENRIQUE.
Año: 1986.
Universidad: BARCELONA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: DEPARTAMENTO DE LOGICA HISTORIA Y FILOSOFIA DE LA CIENCIA..

Resumen: SE 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 M ES UN MODELO Y K UNACLASE DE MODELOS. ESTAS LOGICAS RESTRINGEN LA CLASE DE MODELOS CONSIDERADOS MEDIANTE EL EXPEDIENTE DE EXIGIR QUE POSEAN UN SUBMODELO DETERMINADO DE MODO CANONICO ISOMORFO A M (UN SUBMODELO EN K EN EL CASO DE K-LOGICAS). SON PUES GENERALIZACIONES DE W-LOGICA. SE MUESTRA QUE CUALQUIER K-LOGICA COMPLETA PARA CONSECUENCIA ES COMPACTA PARA CONJUNTOS RECURSIVOS Y QUE CUALQUIER K-LOGICA DE TIPO DE SEMEJANZA FINITO COMPLETA PARA VALIDEZ ES COMPLETA PARA CONSECUENCIAS. SE OBTIENEN TAMBIEN CARACTERIZACIONES DE COMPACIDAD RECURSIVA Y W-COMPACIDAD PARA K-LOGICAS ARBITRARIAS. POSTERIORMENTE SE ANALIZA LA POSIBLE COMPACIDAD DE LAS M-LOGICAS OBTENIENDO QUE PARA MODELOS NUMERABLES M W-COMPACIDAD EQUIVALE A W-SATURACION Y COMPACIDAD RECURSIVA A SATURACION RECURSIVA. ESTE PARALELISMO YA NO SE MANTIENE PARA MODELOS NO NUMERABLES PUES TAMBIEN LOS MODELOS ESPECIALES RESULTAN SER COMPACTOS. FINALMENTE SE CONSIDERAN UNA SERIE DE CASOS PARTICULARES (W-LOGICA LOGICA DEL BUEN ORDEN Y LOGICA DE LOS NUMEROS REALES) Y SE ANALIZAN EN FUNCION DE LOS RESULTADOS GENERALES OBTENIDOS.

Autor: BERTELLOTTI BOUZADA ECIO ANTONIO.
Año: 1982.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS DE CAMINOS.
Centro de realización: ETS DE INGENIEROS DE CAMINOS CANALES Y PUERTOS DE BARCELONA.

Resumen: EN 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 CARACTERIZADA POR CIERTAS PROPIEDADES DE SISTEMAS DIFERENCIALES LINEALES EN ESPACIOS LP QUE PRESENTAN INTERES POR SI MISMOS. AL APLICAR LA TEORIA GENERAL DE EQUILIBRIO DE PIEZAS UNIDIMENSIONALES CONSECUTIVAS AL CASO ESPECIAL ANTES MENCIONADO LA ENERGIA INTERNA DE DEFORMACION RESULTA INVARIANTE FRENTE A CAMBIOS DEL SISTEMA DE REFERENCIA PUNTO CLAVE QUE PERMITE EFECTUAR EL PROCESO DE MINIMIZACION DEL FUNCIONAL DE LA ENERGIA.

Autor: FERNANDEZ MARGARIT ALEJANDRO.
Año: 1982.
Universidad: SEVILLA.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD DE SEVILLA.

Resumen: LA 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 DE ELEMENTOS NOTABLES DEL CONJUNTO. PARA VENCER ESTA DIFICULTAD SE INTRODUCE EL CONCEPTO DE M-IDEAL DEBIDO A A. ROBINSON LO QUE PERMITE DAR UNA CONSTRUCCION DEL COCIENTE. SE APLICA ESTA CONSTRUCCION A TEORIAS ALGEBRAICAS USUALES OBTENIENDO RESULTADOS PARALELOS AL CASO ALGEBRAICO LOS CUAL APOYA QUE NUESTRA DEFINICION DE COCIENTE ES APROPIAA. SE ESTUDIAN LOS PROBLEMAS CLASICOS DE LA TEORIA DE MODELOS RESPECTO DE LA CONSTRUCCION DE COCIENTE INTRODUCIDA TALES COMO: PROBLEMA DE PERSISTENCIA PROBLEMA DE FINITUD Y SU RELACION CON OTRAS CONSTRUCCIONES DE LA TEORIA DE MODELOS.

Autor: MARTINEZ ALONSO JUAN CARLOS.
Año: 1982.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD COMPLUTENSE DE MADRID. INSTITUTO MATEMATICO DE LA UNIVERSIDAD DE TIBURGO (ALEMANIA)..

Autor: JANE PALAU IGNACIO.
Año: 1981.
Universidad: BARCELONA .
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: UNIVERSIDAD DE BARCELONA FACULTAD DE FILOSOFIA Y CIENCIAS DE LA EDUCACION DEPARTAMENTO DE LOGICA..

Resumen: SE 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 TEOREMAS DE ISOMORFISMO Y HOMOMORFISMO Y SE DISCUTE LA DEFINIBILIDAD DE LA RELACION DE IDENTIDAD ENTRE INDIVIDUOS. SE ESTUDIAN DISTINTOS TEOREMAS DE COMPACIDAD Y DE LOWENHEIM-SKOLEM Y SE PRESENTA UN METODO DE CONSTRUCCION DE ESTRUCTURAS GENERALES. SE MUESTRA COMO REDUCIR LA LOGICA GENERAL DE SEGUNDO ORDEN A LOGICA MULTIVARIADA Y ESTA A SU VEZ A LOGICA USUAL D E PRIMER ORDEN. FINALMENTE SE APLICAN METODOS AQUI DESARROLLADOS PARA DISCUTIR ASPECTOS DE LA ARITMETICA DE SEGUNDO ORDEN. LA TESIS CONCLUYE CON UN PROCEDIMIENTO DE OBTENCION DE MODELOS DE LA ARITMETICA DE PEANO DE SEGUNDO ORDEN A PARTIR DE UNO DE PRIMER ORDEN.

Autor: SARABIA ALVAREZ HUDE E. JAIME.
Año: 1980.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION .
Centro de realización: UNIVERSIDAD COMPLUTENSE MADRID FAC. DE FILOSOFIA.

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 TEOREMAS DE INTERPOLACION DEFINIBILIDAD Y CONSISTENCIA

Autor: RAMIREZ LABRADOR JOSE.
Año: 1979.
Universidad: SEVILLA.
Centro de lectura: MATEMATICAS.

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 FUNCIONES CON SIMBOLOS SUFICIENTES PARA ESTUDIAR LOS ESPACIOS DE BANACH NO ARQUIMEDIANOS DEFINIMOS DIVERSAS ESTRUCTURAS PARA L (REAL VALORADAS ADECUADAS SEPARADAS COMPLETADAS Y C-ADECUADAS) DAMOS UN CONJUNTO DE FORMULAS CERRADAS UNIVERSALES DE L CUYOS MODELOS COMPLETADOS C-ADECUADOS SON ESPACIOS DE BANACH NO ARQUIMEDIANOS PROBAMOS QUE LOS ULTRAPRODUCTOS SON ESPACIOS DE BANACH NO ARQUIMEDIANOS Y DAMOS ALGUNAS APLICACIONES. MODIFICANDO L OBTENEMOS UN NUEVO LENGUAJE L CON SIMBOLOS PARA LOS ESPACIOS DE BANACH SOBRE CUERPOS N.A. CON F=R+ DEFINIMOS LOS ULTRAPRODUCTOS TAMBIEN AQUI.