Mestrado em Estatística, Matemática e Computação | Master's Degree in Statistics, Mathematics and Computation - TMEMC
Permanent URI for this collection
Browse
Browsing Mestrado em Estatística, Matemática e Computação | Master's Degree in Statistics, Mathematics and Computation - TMEMC by advisor "Araújo, João"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
- Ordens parciais em semigruposPublication . Matavele, Carlos Casimiro; Araújo, JoãoVárias relações em semigrupos arbitrários são frequentemente importantes no estudo da estrutura e propriedades dos semigrupos. Além das relações de Green, que são de fato equivalências, o mais notável é a ordem parcial natural nos semigrupos regulares, ordem que posteriormente foi estendida a semigrupos em geral. Naturalmente, outras podem ser introduzidas e ao tentarmos provar propriedades sobre elas somos naturalmente levados a novas classes de semigrupos, cuja estrutura resulta de determinadas propriedades satisfeitas por tais relações. Drazin [4] fez uma revisão sistemática de algumas destas relações, mas para nós são relevantes C, S e N. Consideramos também a relação introduzida por Mitsch [7] como uma generalização da ordem parcial natural para semigrupos regulares introduzida por Hartwig [5] e Nambooripad [8]. O objetivo deste trabalho é descrever classes de semigrupos onde estas várias Relações coincidem ou têm determinadas propriedades (como compatibilidade com o produto, etc.).
- Programação orientada a objectos na determinação das bases dum sistema de fechoPublication . Vigário, Edgar; Araújo, JoãoO 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).
- Tradução automática das demonstrações do Prover9Publication . Duarte, José Manuel da Costa; Araújo, João