Biblioteca
Montañez Rincón, Betzy Abigail

Especificación visual en un ambiente interactivo/ Betzy Abigail Montañez Rincón y Eillenth Paola Peña Moreno - Bogotá: Escuela Colombiana de Ingeniería 2010 - 1 disco compacto 4 3; 4 plg.

En este documento se hace la descripción de una herramienta educativa para el aprendizaje de la especificación formal de la matemática de manera didáctica haciendo uso de componentes lúdicos de contenido visual, con un diseño que busca que cualquier persona aprenda a relacionar una semántica con el lenguaje simbólico y encuentre un espacio para la experimentación y análisis de problemas matemáticos conociendo así la sintaxis de los términos formales siguiendo la guía de un taller y ejemplos ya dados


AMBIENTE VIRTUAL DE APRENDIZAJE
LENGUAJES FORMALES
ESCUELA COLOMBIANA DE INGENIERÍA --TESIS
TESIS Y DISERTACIONES ACADÉMICAS

003 / M657e Ts DC