Calculo De Seqa Entes
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. LOGIC PROOFS COMPACTATION / COMPACTAÇÃO DE PROVAS LÓGICAS
É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou pro
Publicado em: 2007