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 […]
Tesis doctoral sobre Logica matemática
Accede a todas las tesis doctorales sobre Logica matemática mas relevantes.
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
Problemas de conexiones ortogonales
Tesis doctoral de José Ramon Portillo Fernandez El área de investigación sobre dibujos de grafos constituye una importante conexión entre
Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
Tesis doctoral de Jesús Medina Moreno Se introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general
Una teoria computacional acerca de la logica ecuacional (formalizacion en acl2 de la logica ecuacional y demostracion automatica de sus propiedades)
Tesis doctoral de José Luis Ruiz Reina El objetivo principal de la tesis es el desarrollo de una teoria computacional
Una aportacion a la aritmetica computacional mediante logica umbral
Tesis doctoral de Javier Lopez Garcia El mayor inconveniente con el que nos encontramos para mejorar la velocidad de ejecucion