Lenguaje APL e implicaciones en lógica simbólica

• Autores: Juan Manuel Lorente Tallada
• Directores de la Tesis: Manuel Garrido (dir. tes.)
• Lectura: En la Universitat de València ( España ) en 1979
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Garrido (presid.), José Carle Geneves (secret.), Ricardo Marín Ibáñez (voc.), Jesús Rodríguez Marín (voc.), Vicente Carot Alonso (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica simbólica
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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