Título
[pt] PROJETO DE IMPLEMENTAÇÃO E PROTOTIPAGEM DE REGRAS DE MANIPULAÇÃO DE PROVAS EM DEDUÇÃO NATURAL
Autor
[pt] RAFAEL ARAUJO SERPA
Vocabulário
[pt] TEORIA DA PROVA
Vocabulário
[pt] PROJETO GRADUACAO
Vocabulário
[pt] COMPRESSAO HORIZONTAL
Vocabulário
[pt] COMPRESSAO DE PROVA
Vocabulário
[pt] LOGICA MINIMAL
Vocabulário
[pt] DEDUCAO NATURAL
Resumo
[pt] Esse documento serve como um estudo sobre redução de provas através
de algoritmos relacionados à Compressão Horizontal, contento implementações das regras de colisões entre vértices redundantes em uma demonstração proveniente de Dedução Natural.
Orientador(es)
EDWARD HERMANN HAEUSLER
Catalogação
2023-09-20
Tipo
[pt] TEXTO
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=64040@1
Referência DOI
https://doi.org/10.17771/PUCRio.acad.64040
Arquivos do conteúdo
NA ÍNTEGRA PDF