Navegação Computação por Autor "Vieira, Rodrigo Born"
Resultados 1-1 de 1
-
CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias
Vieira, Rodrigo Born (2006) [Dissertação]Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria ...