Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Demonstração automática de teoremas"”.
-
Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes
… no campo da matemática, quer pura quer aplicada. De entre estas, as lógicas multivalentes mostraram ser das mais importantes. A dedução automática, ou demonstração automática de teoremas, é hoje um requisito-chave em qualquer lógica, uma vez que as estratégias de dedução podem ser laboriosas e …
-
ProverX: rewriting and extending prover9
O propósito principal deste projecto é tornar o demonstrador automático de teoremas Prover9 programável e, por conseguinte, extensível. Este propósito foi conseguido acrescentando um interpretador de Python, uma linha de comandos e uma biblioteca de módulos, objectos e funções escritos em Python …
-
Finite bases for semigroup varieties
O objetivo deste trabalho é fornecer um atlas das bases de identidades para as variedades geradas por semigrupos e grupos de ordem pequena. Com o propósito de auxiliar os matemáticos que trabalham neste campo a encontrar informações com facilidade, foi implementado um website que executa em segundo …
-
Bibliotecas de axiomáticas: conceitos e resultados para sistemas algébricos
Em 1996, EQP, um programa de computador, resolveu o Problema de Robbins, um problema colocado nos anos 30 e que tinha derrotado alguns dos maiores algebristas do século XX. Em julho de 2022, Enigma, uma ferramenta de inteligência arti cial aplicada à demonstração automática de teoremas produzida …