Investigação e Aplicação de algumas Operações Categoriais

ISBN-13: 9786202177214 / Portugalski / Miękka / 2018 / 132 str.

Christine Vieira

Opis

Este livro apresenta uma dissertação de mestrado que trata da investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas em animações computacionais baseadas em autômatos finitos com saída. As operações categoriais são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Computacional baseada em autômatos finitos) foi o escolhido para ser utilizado como base desta dissertaçãoque traz uma nova versão do AGA, denominado AGANd (Animação Computacional baseada em autômatos finitos não determinísticos). Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque deste estudo é baseado em J. Stoy [STO 77] que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é "sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes ("limpos") e com descrições formais mais simples". Entretanto, não é objetivo desta dissertação verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer out

O autorze

Mestre em Ciência da Computação pela Univerisidade Federal do Rio Grande do Sul (UFRGS), pós-graduada em Redes e Telecomunicações pela Universidade do Sul de Santa Catarina (UNISUL), graduada em Ciência da Computação pela UNISUL. Trabalhou como Professora Universitária por 19 anos na Universidade do Extremo Sul Catarinense (UNESC).