Search
Now showing items 1-10 of 12
Reasoning tradeoffs in languages with enhanced modularity features
(Modularity 2016: Proceedings of the 15th International Conference on Modularity 13-24 2016, 2016-03)
The continuous need for more ambitious, more complex, and more dependable software systems demands mechanisms to modularize such systems and reason about their correctness. The reasoning process is affected by the programming ...
Elaboración de un prototipo funcional de escritorios virtuales para la auditoría interna del Banco de Costa Rica
(Universidad Nacional (Costa Rica), 2021)
En Costa Rica, el uso de Infraestructura de Escritorios Virtuales (VDI) por sus siglas en inglés, ya forma parte del esquema de trabajo y negocio de algunas empresas importantes, por mencionar algunas de ellas tenemos la ...
Innovación en las empresas de desarrollo de software costarricense: Aplicabilidad del modelo de roles A-F
(Universidad Nacional (Costa Rica), 2019)
En este artículo se analiza la innovación en empresas de desarrollo de software costarricense y se
indaga sobre la aplicabilidad del modelo de roles A-F en dichas empresas. Con base en la
información obtenida a través ...
Percepción estudiantil sobre una metodología asistida por computadora en las áreas cognitivas del álgebra lineal y la matemática discreta
(Instituto Tecnológico de Costa Rica, 2014)
Se presentan los resultados de una investigación de carácter descriptivo realizada sobre una muestra de 68 estudiantes inscritos en cursos vinculados con álgebra lineal y matemáticas discretas, específicamente en dos ...
Programación lineal con apoyo de Mathematica y GLP
(Universidad Nacional (Costa Rica), 2014)
En el contexto del curso EIF-405 Investigación de Operaciones impartido en la Escuela de Informática de la Universidad Nacional de Costa Rica, se han desarrollado una serie de iniciativas metodológicas para abordar el tema ...
Paquete VilGebra: recurso didáctico a través del uso del software Mathematica en el campo del álgebra lineal
(Instituto Tecnológico de Costa Rica, 2015)
VilGebra es un paquete elaborado por el autor de esta propuesta, que añade al software comercial Mathematica 9, ochenta y seis comandos para desarrollar distintos procedimientos vinculados con un curso introductorio de ...
Evaluación del paquete Vilcretas una percepción docente
(Comité Latinoamericano de Matemática Educativa, 2018)
La cátedra del curso EIF-203 Estructuras Discretas para Informática materia del plan de estudios de la carrera Ingeniería en Sistemas de Información de la UNA, se ha propuesto el importante reto de incorporar el uso de ...
Resolución de relaciones de recurrencia con apoyo de Wolfram Mathematica
(Universidad Nacional (Costa Rica), 2015)
El presente trabajo introduce algunos algoritmos para resolver relaciones de recurrencia lineales, homogéneas y no homogéneas, con coeficientes constantes y no constantes, utilizando software como recurso principal en los ...
Método de búsqueda tabú para optimización combinatoria apoyado con el software Wolfram Mathematica
(Universidad de Costa Rica, 2019)
En este trabajo se presentan los resultados obtenidos de un algoritmo basado en la Búsqueda Tabú que fue programado utilizando el software comercial Wolfram Mathematica. En Wolfram Language se realizaron distintas ...
Enseñanza y aprendizaje de la matemática para informática empleando documentos con un formato computable (CDFs): una percepción docente en la Universidad Nacional de Costa Rica
(Instituto Tecnológico de Costa Rica, 2021-03)
La matemática básica entendida como un compendio de contenidos desarrollados en la educación secundaria, constituye un área de relevancia en la formación de cualquier futuro ingenie-ro. Esto es debido a que provee un ...