Contradicciones de inclusión. la estructura de las paradojas reflexivas y el problema de su solución.
Tesis doctoral de Jordi Valor Abad En este trabajo defiendo que las «paradojas de autorreferencia o reflexividad» (siguiendo el término […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Strict-weak languages. an analysis of strict implicatión
Tesis doctoral de Félix Bou Moliner Esta tesis docotral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos
Lógica i fonaments: 1850-1920. un estudi comparatiu de les contribucions del corrent algébric i logicista a la lógica contemporÁ nia
Tesis doctoral de Joan Roselló Moya En nuestro trabajo hemos pretendido hacer un recorrido histórico por algunos de los principales
Aproximación metodológica formal para el diseño y desarrollo de sistemas interactivos basados en el estilo de manipulación directa
Tesis doctoral de Rodríguez Almendros M. Luisa Los sistemas interactivos están cada vez más orientados hacia la manipulación de la
Un modelo de integración evolutivo entre sistemas de información y sistemas de ayuda a la decisión
Tesis doctoral de María Visitacion Hurtado Torres En la actual «sociedad de la información», durante el proceso de automatización de
Projective forcing/ forcing projectiu
Tesis doctoral de Roger Bosch Bastardas En esta tesis se estudian los órdenes parciales proyectivos; esto es, los órdenes parciales
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de
Modelos predictivos basados en redes neuronales recurrentes de tiempo discreto
Tesis doctoral de Juan Antonio Pérez Ortiz Este trabajo estudia la aplicación de distintos modelos de redes neuronales recurrentes de
Dependencias funcionales,ideal-operadores no deterministas y operadores de sustitución.
Tesis doctoral de ángel Mora Bonilla El trabajo de la tesis estudia los «fundamentos lógicos y algebraicos y aplicaciones a
Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint