Now showing items 1-3 of 3
Implementación de un juego de mesa para apoyar la enseñanza de elementos de combinatoria
(Universidad Nacional de ColombiaPalmira - Ingeniería y Administración - Maestría en Enseñanza de las Ciencias Exactas y NaturalesMaestría en Enseñanza de las Ciencias Exactas y NaturalesFacultad de Ingeniería y AdministraciónPalmira Valle del CaucaUniversidad Nacional de Colombia - Sede Palmira, 2021-05-18)
El presente trabajo de investigación surge como respuesta a las dificultades conceptuales que presentan los estudiantes del grado noveno del Colegio Arquidiocesano Juan Pablo II, cuando enfrentan problemas que implican ...
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de PruebasTwo topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)