Browsing Computation by Author "Notare, Márcia Rodrigues"
Now showing items 1-1 of 1
-
Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana
Notare, Márcia Rodrigues (2001) [Dissertation]O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment ...