Listar MA - Tesis por fecha de publicación
Mostrando ítems 1-8 de 8
-
Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3
(1997)Esta tesis estudia la demostración automática de teoremas en lógicas trivaluadas. Concretamente se presenta un demostrador denominado tas-m3 para la lógica trivaluada completa m3. Esta tesis cuenta con una orientación ... -
Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud
(2003)Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la Lógica Formal como parte de los Fundamentos Matemáticos de la Computación. Sin embargo, su motivación ha partido de un área ... -
Métodos de integración geométrica para sistemas con función de Lyapunov
(Universidad de Málaga, Servicio de Publicaciones y Divulgación Científica, 2014)Esta tesis estudia métodos de integración numérica geométrica, específicamente, métodos numéricos diseñados para conservar la función de Lyapunov de un sistema dinámico. En otras palabras, se proponen aproximaciones numéricas ... -
La ecuación de Legendre ax^2+by^2+cz^2=0 en los Enteros de Gauss y en el Anillo de los Polinomios Racionales
(UMA Editorial, 2015)En este trabajo se desarrolla todo lo que se conoce acerca de la ecuaci on de Legendre en los Enteros. Son posibles las siguientes generalizaciones que pruebo: 1. La generalizaci on del teorema de Legendre en Q[t]. 2. ... -
Conexiones de Galois y técnicas de tratamiento de la información
(Servicio de Publicaciones y Divulgación Científica, 2016)En el ámbito de las estructuras ordenadas, Ø. Ore introdujo en 1944 el concepto de conexión de Galois como un par de funciones antítonas entre dos conjuntos parcialmente ordenados, generalizando así la teoría de polaridades ... -
Extracción de conocimiento usando atributos negativos en el Análisis de Conceptos Formales. Aplicaciones en la Ingeniería.
(UMA Editorial, 2017-06-19)El objetivo principal de esta tesis es desarrollar un marco general que permita, de una forma uniforme y eficiente, extraer, tratar y representar conocimiento a partir de información positiva y negativa de un conjunto de ... -
Un enfoque lógico a los sistemas de implicaciones y las bases directas
(UMA Editorial, 2017-06-20)El tratamiento de la información y el conocimiento es uno de los muchos campos en los que confluyen los métodos matemáticos y computacionales. Una de las áreas donde encontramos de forma clara esta concurrencia es en el ... -
Optimización en el diseño de torres
(UMA Editorial, 2018-09-12)En este trabajo se presenta la formalización de las técnicas de optimización sobre un sistema de cálculo, diseño y fabricación de torres metálicas de transmisión eléctrica y telecomunicación. Su desarrollo e implementaci ...