Tesis doctoral de Lorente Tallada Juan Manuel
El trabajo consiste en la presentacion de un calculo que aritmetiza el metodo de resolucion de robinson. Se presenta para el calculo proposicional y se amplia al calculo de predicados previa normalizacion skolemiana. acompañan al mismo un breviario del lenguaje apl y una serie de programas conducentes a 1) una formalizacion en polaca del problema. 2) su reduccion a formas normales cognitiva y disyuntiva 3) su aritmetizacion 4) su preparacion para ser analizado por computador 5) sendos programas para computar por el metodo de resolucion los problemas correspondientes al calculo de enunciados y a los del calculo de predicados
Datos académicos de la tesis doctoral «Lenguaje apl e implicaciones en logica simbolica.«
- Título de la tesis: Lenguaje apl e implicaciones en logica simbolica.
- Autor: Lorente Tallada Juan Manuel
- Universidad: Universitat de valéncia (estudi general)
- Fecha de lectura de la tesis: 01/01/1979
Dirección y tribunal
- Director de la tesis
- Manuel Garrido Gimenez
- Tribunal
- Presidente del tribunal: Manuel Garrido Gimenez
- Jesús Rodriguez Marin (vocal)
- Ricardo Ibañez Marin (vocal)
- Vicente Carot Alonso (vocal)