Buscar
Mostrando ítems 1-5 de 5
Provas bijetivas em partições : uma proposta de abordagem no ensino básico
(2020-07-30)
O objetivo deste trabalho é usar a revisão bibliográfica sobre a Teoria das Partições para construir roteiros de atividades que, com o auxílio de materiais concretos manipuláveis, possam ser utilizados por professores dos ...
Unificação, confluência e tipos com interseção para sistemas de reescrita nominal
(2017-02-01)
Sistemas nominais são uma abordagem alternativa para o tratamento de variáveis em sistemas computacionais, onde a reescrita de primeira ordem é generalizada através do suporte para especificação de ligação de variáveis e ...