Buscar

Silva, Rafael Castro G.; Roggia, Karina Girardi; Vasconcellos, Cristiano Damiani (Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)

1
2
3
4
. . .
454

Buscar

Filtros

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

A natureza das teorias científicas: uma investigação lógico-filosófica

A ciência da Metafísica de Aristóteles

Construções categóricas intervalares em Haskell

Uma abordagem para ensino baseada na teoria da aprendizagem significativa utilizando a teoria das categorias

Estudo dos espaços coerentes do ponto de vista da teoria dos toposA study of coherent spaces from the point of view of the theory of topos

Uma fundamentação teórica para a complexidade estrutural de problemas de otimização

Haskell Type System Analysis