Un modelo logico de la accion social.
Tesis doctoral de Pedro Miguel Navarro Sainz Datos académicos de la tesis doctoral «Un modelo logico de la accion […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Sistemas vivos y sus modelos matematicos. modelizacion de un ecosistema.
Tesis doctoral de Miguel Lloret Climent En este trabajo se formalizan matematicamente y se estudian los aspectos mas importantes de
Conceptos modales e individuacion.
Tesis doctoral de Manuel Perez Otero El tema central de esta tesis es la distincion kripkeana entre dos dicotomias modales
Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta
Proof procedures for multiple-valued propositional logics.
Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen
El concepto de prueba matematica en las caracterizaciones filosofico-metodologicas de henri poincare e imre lakatos.
Tesis doctoral de María Pilar Beltran Orenes La tesis presentada realiza un analisis del concepto «demostracion o prueba matematica» desde
Resolucion sl*: un paradigma basado en resolucion lineal para la demostracion automatica.
Tesis doctoral de Casamayor Rodenas Juan Carlos El trabajo incluido en la presente tesis se enmarca dentro del campo de
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
La restriccion en la teoria de la gramatica (en torno a la evolucion de los modelos chomskyanos).
Tesis doctoral de Longa Martinez Victor Manuel En la tesis referida se analizan las principales divergencias sucedidas a lo largo
Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito