Robustness on resource allocation problems
Tesis doctoral de Víctor Muñoz SolÁ En problemas de asignación de recursos, normalmente se han de tener en cuenta las […]
Tesis doctoral sobre Logica matemática
Accede a todas las tesis doctorales sobre Logica matemática mas relevantes.
Forcing strong combinatorial properties and cardinal arithmetic
Tesis doctoral de Miguel Angel Mota Gaytán Se introduce una nueva técnica de iteración de forcing y se prueba que
Induccion y recursion: las teorias i delta n+1(t)
Tesis doctoral de Francisco Félix Lara Martin En este trabajo se realiza un analisis de la conjetura de friedman-paris, acerca
Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
Tesis doctoral de Jose Martínez Fernández El trabajo es una contribución al proyecto del diseño y la justificación de teorías
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Max sat formalisms with hard and soft constraints
Tesis doctoral de Josep Argelich Roma In this thesis we investigate max-sat formalisms for solving combinatorial optimization problems with hard
Non classical systems for uncertain reasoning: non monotonic logics with non classical bases
Tesis doctoral de Enrico Marchioni En este trabajo, investigamos la definibilidad de las clases de t-normas y uninormas en la
Inferencias para el diagnóstico sobre el estado del sistema arterial humano utilizando elementos de lógica difusa
Tesis doctoral de Nuño Almirantearena Fernando Silvio Las enfermedades con pérdida de elasticidad arterial como la aterosclerosis y la hipertensión,
Operadores de generalización para el aprendizaje clausal
Tesis doctoral de Miguel Angel Gutierrez Naranjo En esta memoria hemos estudiado los procesos de generalización, el paso de lo
Sobre el teorema de gÁ¶del: una construcción artimética y funcional de sistemas con proposiciones formalmente indecidibles. el teorema del isomorfismo aritmético-funcional
Tesis doctoral de álvarez Cañas Ignacio José En este trabajo se implican las conclusiones de gí¶del, mediante el estudio de