000			01436 a a2200253 04500
001			13869
003			CoBo-ECI
005			20230711085040.0
008			150708b xxu||||| |||| 00| 0 eng d
082	0		_a003 _bM657e Ts DC
100	4	0	_aMontañez Rincón, Betzy Abigail _910879
245	0		_aEspecificación visual en un ambiente interactivo/ _cBetzy Abigail Montañez Rincón y Eillenth Paola Peña Moreno
260	4		_aBogotá: _bEscuela Colombiana de Ingeniería _c2010
300	4		_a1 disco compacto 4 3; 4 plg.
502			_aTesis (Ingeniero de Sistemas)
520	4		_aEn 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
650			_aAMBIENTE VIRTUAL DE APRENDIZAJE _96630
650			_aLENGUAJES FORMALES _910880
650			_91283 _aESCUELA COLOMBIANA DE INGENIERÍA _zTESIS
650			_9931 _aTESIS Y DISERTACIONES ACADÉMICAS
700	4	0	_aPeña Moreno, Eillenth Paola _aChaparro Aguilar, Raúl Alfredo, dir. _910881
942			_2ddc _cTE
999			_c16177 _d16177