next up previous contents index
Next: Introdução Up: dissertacao Previous: Lista de Figuras   Sumário   Índice Remissivo


Lista de Tabelas

  1. Um algoritmo para construção da mediatriz
  2. Construção de uma função para o exemplo [*]
  3. Esquema para geração de respostas para o exemplo [*]
  4. Recursos de alguns dos programas de GD
  5. Quantidade de publicações brasileiras relacionadas a EAD entre 1999-2003 (, )
  6. Passos para codificação de algumas variáveis no iGeom
  7. Definição da distância entre pares de construções
  8. Pseudo-código do validador implementado no iGeom
  9. Recursos de alguns dos programas de GD








Lista de Abreviaturas e Siglas







ATP		 Automatic Theorem Proving

ACT		 Atomic Component of Thought

CERN

 European Center for Nuclear Research

EAD

 Educação a Distância

GD

 Geometria Dinâmica

HTML

 Hypertext Markup Language

IME

 Instituto de Matemática e Estatística

ITC

 Instructional Technology Council

JVM

 Java Virtual Machine

NCSA

 National Center for Supercomputing Applications

PC

 Personal Computer

POLI

 Escola Politécnica

USP

 Universidade de São Paulo

UFRJ

 Universidade Federal do Rio de Janeiro

WWW

 World Wide Web

 

[] []

next up previous contents index
Next: Introdução Up: dissertacao Previous: Lista de Figuras   Sumário   Índice Remissivo
Seiji Isotani 2006-10-04