CALCULO PROPOSICIONAL

 
Página 1 de 1. Mostramos 6 registros (del 1 al 6) de un total de 6
  • Autor: MARTÍN MATEOS FRANCISCO JESÚS
    Año: 2001
    Universidad: SEVILLA
    Resumen
    En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática AC ... [Sigue]
  • Autor: MAÑA SERRES FELIP
    Año: 1996
    Universidad: AUTONOMA DE BARCELONA
    Resumen
    EN ESTA TESIS SE PRESENTAN PROCEDIMIENTOS DE PRUEBA PARA LOGICAS PROPOSICIONALES MULTIVALUADAS. SE DEFINEN CALCULOS COMPLETOS, ESTRUCTURAS DE DATOS EFICIENTES, HEURISTICAS PARA CONTROLAR EL ESPACIO D ... [Sigue]
  • Autor: GARCIA LAPRESTA JOSE LUIS
    Año: 1990
    Universidad: BARCELONA
    Resumen
    SE HAN ESTUDIADO LOGICAS ABSTRACTAS QUE CUMPLEN EL TEOREMA DE DEDUCCION CON RESTRICCIONES EN EL CARDINAL DEL CONJUNTO DE PREMISAS. EL ESTUDIO DE ESTAS LOGICAS, AQUI LLAMADAS "FINITAMENTE DEDUCTIVAS" ... [Sigue]
  • Autor: TIÑENA SALVAÑA FRANCESC
    Año: 1986
    Universidad: POLITECNICA DE CATALUÑA
    Resumen
    A TRAVES DE PRODUCTOS SUBDIRECTOS GLOBALES. REALIZAMOS TODA W-ALGEBRA COMO PRODUCTO SUBDIRECTO GLOBAL DE W-ALGEBRAS LOCALES SOBRE UN ESPACIO COMPACTO. DEFINIMOS Y ESTUDIAMOS CON ESPECIAL ENFASIS LAS ... [Sigue]
  • Autor: RODRIGUEZ SALAS ANTONIO JESUS
    Año: 1980
    Universidad: BARCELONA
    Resumen
    TRAS UNA BREVE PRESENTACION DE LAS ALGEBRAS DE SALES ASOCIADAS A LA PARTE IMPLICATIVA DEL CALCULO PROPOSICIONAL INFINITO VALENTE DE LUKASIEWICZ SE ESTUDIAN LAS PROPIEDADES LOGICO-ALGEBRAICAS MAS IMPO ... [Sigue]
  • Autor: IZQUIERDO ARROYO JOSE M.
    Año: 1980
    Universidad: COMPLUTENSE DE MADRID
    Resumen
    SE PRESENTA EN SUS BASES TEXTUALES E HISTORICAS LA LOGICA PROPOSICIONAL TEORIZADA EN LAS UNIVERSIDADES EUROPEAS ENTRE 1230 Y 1650. EN UN CORPUS DE TEXTOS SISTEMATICA Y DIACRONICAMENTE ORGANIZADOS SE ... [Sigue]