Micromundos
Basados en teoría constructivista
La computadora como factor de cambio de la naturaleza de los objetos conceptuales
Potenciación de la capacidad de atribuir significados
Herramientas para explorar un dominio intelectual
Permiten expresar y verificar ideas sobre objetos formales.