Zobrazeno 1 - 10
of 669
pro vyhledávání: '"LENGUAJES DE PROGRAMACIÓN"'
Autor:
J. Jesús Arellano Pimentel, Guadalupe Toledo Toledo, Mario Andrés Basilio López, José Ricardo Salvador Nolasco, Guillermo Eduardo Reyes Rodríguez, José Alejandro Pérez Sibaja, Samuel Erasto López Díaz
Publikováno v:
Programación Matemática y Software, Vol 16, Iss 2 (2024)
La programación orientada a objetos en C++ facilita la codificación de algoritmos respecto al paradigma estructurado del lenguaje C, este echo suele provocar un cuestionamiento válido entre los estudiantes ¿por qué codificar cadenas con memoria
Externí odkaz:
https://doaj.org/article/0381972e72684e2e93276ab984e2d7d1
Publikováno v:
Transformación, Vol 19, Iss 1, Pp 23-40 (2022)
Objetivo: Este artículo tiene como objetivo evaluar el impacto de un programa educativo introducido en la Educación Primaria orientado a promover la educación ambiental para la sostenibilidad, y la formación científica requerida, a partir de her
Externí odkaz:
https://doaj.org/article/67b6f67a78a645c7beea33c60c5591f4
Publikováno v:
Revista Educación, Vol 47, Iss 2 (2023)
El uso de las tecnologías de la información y la comunicación son el camino idóneo para el desarrollo de las competencias que el alumnado necesita para desenvolverse en una sociedad ampliamente digitalizada, con el fin de dejar de ser solo person
Externí odkaz:
https://doaj.org/article/e87f10d58d784ef8b0611c52c2855472
Publikováno v:
Innoeduca, Vol 8, Iss 1 (2022)
En la actual sociedad digitalizada el pensamiento computacional se ha convertido en una competencia imprescindible para la resolución de problemas cotidianos. Del mismo modo, la programación emerge con un gran potencial para el desarrollo de dicha
Externí odkaz:
https://doaj.org/article/ff1c1d88f9654ec5b0e6f09eb09760f7
Publikováno v:
Revista Técnica de la Facultad de Ingeniería, Vol 45, Iss 2 (2022)
El crecimiento de los conjuntos de datos RDF (Resource Description Framework) y la expansión de su uso junto con la definición de SPARQL, un lenguaje de consulta declarativo, han convertido la gestión de datos RDF en un área activa de investigaci
Externí odkaz:
https://doaj.org/article/e044619b0a7741e4b0651a910bb40ebe
Autor:
Mikhail Semenovich Prokopyev, Elena Zotikovna Vlasova, Tatyana Vasilyevna Tretyakova, Maksim Anatolyevich Sorochinsky, Rimma Alekseyevna Solovyeva
Publikováno v:
Propósitos y Representaciones, Vol 8, Iss 3, Pp e484-e484 (2020)
En la actualidad, la programación de enseñanza para futuros maestros es superficial o está excluida del plan de estudios de informática. Solo se enseñan los fundamentos de programación durante los estudios de computación, y las habilidades adq
Externí odkaz:
https://doaj.org/article/083b15a6262c48b0b16bed8037559b65
Publikováno v:
Revista Latinoamericana de Tecnología Educativa, Vol 17, Iss 2, Pp 129-143 (2018)
La programación está incluyéndose en los currículos educativos de todo el mundo para desarrollar el pensamiento computacional. Sin embargo, no hay un consenso sobre qué procesos implica este pensamiento, ni sobre cómo intervenir y evaluar su de
Externí odkaz:
https://doaj.org/article/93c97347c79a4de88ab910bcd46dbf77
We address the verification of mutable, heap-allocated abstract data types (ADTs) in Dafny, and their traversal via iterators. For this purpose, we devise a verification methodology that makes it possible to implement ADTs based on already existing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b2b366b5e190e9aa4adf3e7c82647f1
https://eprints.ucm.es/id/eprint/78283/
https://eprints.ucm.es/id/eprint/78283/
Autor:
Ceresa, Martín Arnaldo
Publikováno v:
RepHipUNR (UNR)
Universidad Nacional de Rosario
instacron:UNR
Universidad Nacional de Rosario
instacron:UNR
Optimizar programas es difícil. Al aplicar una transformación a un programa uno debe mostrar que se preserva la semántica del programa, y además, se tiene que asegurar que la transformación es realmente una optimización. El estudio de transform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::59be8d5399fcd14732b61d9bbe64274c