Programação orientada a objectos na determinação das bases dum sistema de fecho
O objectivo desta dissertação foi a criação de uma ferramenta informática capaz de determinar as bases de um sistema de fecho. Para tal foram criadas diferentes implementações de três algoritmos, o de Tietze, o de Tietze- SA e o SA, utilizando o paradigma da programação orientada a objectos e escolhida como implementação para a construção da ferramenta a que resultava num menor número de chamadas a um oráculo. O oráculo utilizado foi a aplicação Prover9/Mace4 da autoria de William McCune composto pelo demonstrador automático de teoremas Prover9 e o construtor de modelos finitos Mace4. As aplicações resultantes executam nos sistemas operativos Windows XP, Vista e 7 (32 e 64 bits).
Informática, Estatística, Programação orientada para objetos
Networked Digital Library of Theses and Dissertations