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).

Author dc:creator

• Vigário, Edgar

Advisor dc:contributor.advisor

• Araújo, João

• Informática
• Estatística
• Programação orientada para objetos

Language dc:language.iso

por

Handle dc:identifier.uri

http://hdl.handle.net/10400.2/1753

OAI identifier oai:identifier

oai:repositorioaberto.uab.pt:10400.2/1753