Suchergebnisse - "Programming Logic"

Investigating the impact of generative AI integration on the sustenance of higher-order thinking skills and understanding of programming logic

Autoren: Nathaniel, Jemimah Oyelere, Solomon Sunday Suhonen, Jarkko et al.

Quelle: Computers and Education: Artificial Intelligence. 9

Schlagwörter: Generative AI, Programming education, Higher-order thinking skills, Problem-solving, Critical thinking, Creativity, Programming logic, Pervasive Mobile Computing, Distribuerade datorsystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-114509
https://doi.org/10.1016/j.caeai.2025.100460

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoren: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Weitere Verfasser: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Quelle: ACM Transactions on Programming Languages and Systems

Schlagwörter: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Análisis del nivel de pensamiento computacional de los futuros maestros: una propuesta diagnóstica para el diseño de acciones formativas

Autoren: Villalustre Martínez, Lourdes

Quelle: Pixel-Bit. Revista de Medios y Educación
Redined. Red de Información Educativa
instname
idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
Scopus
RUO. Repositorio Institucional de la Universidad de Oviedo
Universidad de Oviedo (UNIOVI)
Pixel-Bit, Vol 69 (2023)

Schlagwörter: Previous experience, Technology, Social Sciences, enseñanza primaria, Theory and practice of education, educación superior, lógica programación, pensamiento computacional, Experiencia previa, formación de profesores, Programming logic, Lógica programación, gender, Higher education, LB5-3640, estudiante para profesor, Pensamiento computacional, Gender, Artículos, programación, experiencia previa, educación infantil, higher education, Educación superior, Género, programming logic, Computational thinking, previous experience, género

Dateibeschreibung: application/pdf

Zugangs-URL: https://recyt.fecyt.es/index.php/pixel/article/view/101205
https://recyt.fecyt.es/index.php/pixel/article/view/101205
https://hdl.handle.net/11162/259150
https://hdl.handle.net/11441/157177
https://doaj.org/article/aaa49fecd5544a26baace208d893ac4b
https://hdl.handle.net/10651/73216
https://idus.us.es/handle//11441/157177

Enhancing Computational Thinking and Programming Logic Skills with App Inventor 2 and Robotics: Effects on Learning Outcomes, Motivation, and Cognitive Load

Autoren: Yu-Ting Huang Chien-Lung Li Chin-Chih Chang et al.

Quelle: Sensors, Vol 25, Iss 22, p 7059 (2025)

Schlagwörter: robotic arms, App Inventor 2, computational thinking, programming logic, spatial reasoning, learning motivation, Chemical technology, TP1-1185

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/1424-8220/25/22/7059; https://doaj.org/toc/1424-8220

Zugangs-URL: https://doaj.org/article/657eed7e0a77452aae3427739a9ebae8

Show da Programação: Educational Quiz for Learning Programming Logic and Python

Autoren: Pinheiro, Felipe Silva Neves, Victor Gabriel da Silva Santos, Mikael Barbosa dos et al.

Quelle: Journal of Distance Education and eLearning; Vol. 8, Nº 1 (2025): jan-jun; e202504
RE@D-Revista de Educación a Distancia y eLearning; Vol. 8, Nº 1 (2025): jan-jun; e202504
Revue d'Éducation à Distance et d'Apprentissage en Ligne; Vol. 8, Nº 1 (2025): jan-jun; e202504
RE@D-Revista de Educação a Distância e Elearning; Vol. 8, Nº 1 (2025): jan-jun; e202504

Schlagwörter: Jogo Educacional Digital, Teaching and Learning, Digital Educational Game, Programming Logic, Ensino e Aprendizagem, Lógica de Programação, Python

Dateibeschreibung: application/pdf

Zugangs-URL: https://revistas.rcaap.pt/lead_read/article/view/37036

GitCo-learning: aplicación interactiva para el dominio de git ; GitCo-learning: interactive application for mastering git

Autoren: Sepulveda Sanchez, Danna He Lopez Zuñiga, Jafet Stiven Rodríguez Guerrero, Rocío et al.

Weitere Verfasser: Sepulveda Sanchez, Danna He Lopez Zuñiga, Jafet Stiven Rodríguez Guerrero, Rocío et al.

Schlagwörter: Git, Control de versiones, Aplicación de aprendizaje web, Aprendizaje computacional, Lógica de programación, Tecnología en Sistematización de Datos -- Tesis y disertaciones académicas, Version control, Web learning application, Computational learning, Programming logic

Dateibeschreibung: pdf; application/pdf; application/zip

Relation: Serrano, P., & Álvarez, M. (2018). Aplicaciones Web en la Educación. Ediciones Académicas.; Noguera, I., Guerrero-Roldán, A. E., & Masó, R. (2017). Implementación de plataformas de aprendizaje en línea. Revista de Educación a Distancia, 54(2), 1-15.; Noguera, M., Álvarez, L., & Serrano, L. (2017). Plataformas de Aprendizaje y su Impacto en la Educación Digital. Journal of Online Learning.; Rock Content. (s.f.). Plataformas Digitales: qué son, ejemplos y por qué son importantes. Recuperado de https://rockcontent.com/es/blog/plataformas-digitales/; Rock Content. (s.f.). Tipos de plataformas de aprendizaje digital. Recuperado de https://www.rockcontent.com/academy/; Manrique, M. (2020, 9 julio). ¿Qué son las plataformas digitales y para qué sirven las Fintech? Rankia Colombia. Recuperado de https://www.rankia.co/blog/analisis colcap/4317884-que-son-plataformas-digitales-para-sirven-fintech; iSpring. (2023). E-learning: Qué es y cómo funciona, beneficios del e-learning. Recuperado de https://www.ispring.es/blog/what-is-elearning; Canadian College. (2021). OVA: una estrategia innovadora para la enseñanza y el aprendizaje. Recuperado de https://www.canadiancollege.edu.co/blog/ova-una estrategia-innovadora-para-la-ensenanza-y-el-aprendizaje; Ludus. (2022). Ambientes virtuales de aprendizaje (AVA): ¿qué son y para qué sirven?. Recuperado de https://www.ludusglobal.com/blog/ambientes-virtuales-de aprendizaje-ava-que-son-y-para-que sirven#:~:text=Un%20ambiente%20virtual%20de%20aprendizaje%20o%20AVA% 2C%20es%20una%20plataforma,supervisar%20y%20evaluar%20su%20progreso.; Firebase. (s.f.). Documentación de Firebase. Recuperado de https://firebase.google.com/docs; Digital55. (s.f.). ¿Qué es Firebase? Funcionalidades, ventajas y conclusiones. Recuperado de https://digital55.com/blog/que-es-firebase-funcionalidades-ventajas conclusiones/; Patterns.dev. (s.f.). Modular Design Pattern. Recuperado de https://patterns.dev/modular; IONOS. (s.f.). ¿Qué es el patrón Observer? Recuperado de https://www.ionos.es/digitalguide/paginas-web/desarrollo-web/que-es-el-patron observer/; Git. (s. f.). Documentación de Git. Recuperado de https://git-scm.com/doc; Microsoft. (s. f.). ¿Qué es Git? Recuperado de https://learn.microsoft.com/es es/devops/develop/git/what-is-git; Atlassian. (s.f.). What is version control? Recuperado de https://www.atlassian.com/es/git/tutorials/what-is-version-control; Microsoft. (s.f.). What is version control? Recuperado de https://learn.microsoft.com/es-es/devops/develop/git/what-is-version-control; Holec, H. (1981). Autonomy and foreign language learning. Pergamon.; Hrastinski, S. (2019). What do we mean by blended learning? TechTrends, 63(5), 564 569. https://doi.org/10.1007/s11528-019-00375-5; Tilley Michelle, U. K. (2014-2019). Visualizing Git. Obtenido de https://github.com/git-school/visualizing-git; Cottle, P. (2012-2024). Learn Git Branching. Obtenido de https://learngitbranching.js.org/?locale=es_AR; Microsoft. (2024). Introduction to Git. Obtenido de https://learn.microsoft.com/en us/training/modules/intro-to-git/; Shvets, A. (2024). Git How To. Obtenido de https://githowto.com/; Git. (s. f.). Pro Git. Recuperado de https://git-scm.com/book/es/v2/Inicio---Sobre-el Control-de-Versiones-Fundamentos-de-Git; Node.js. (s. f.). Acerca de Node.js. Recuperado de https://nodejs.org/en/about; Kinsta. (s. f.). ¿Qué es Node.js? %7C Conceptos básicos de Node.js. Recuperado de https://kinsta.com/es/base-de-conocimiento/que-es-node-js/; Mozilla. (s. f.). JavaScript. Recuperado de https://developer.mozilla.org/es/docs/Web/JavaScript; Mozilla. (s. f.). Introducción a JavaScript. Recuperado de https://developer.mozilla.org/es/docs/Learn/JavaScript/First_steps/What_is_JavaScr ipt; LenguajeJS. (s. f.). JavaScript. Recuperado de https://lenguajejs.com/javascript/; Mozilla. (s. f.). HTML (Lenguaje de marcado de hipertexto). Recuperado de https://developer.mozilla.org/es/docs/Web/HTML; Hostinger. (s. f.). ¿Qué es HTML? Tutorial para principiantes sobre HTML. Recuperado de https://www.hostinger.co/tutoriales/que-es-html; Vadavo. (s. f.). HTML: qué es y para qué sirve. Recuperado de https://www.vadavo.com/blog/html-que-es-y-para-que-sirve/; Mozilla. (s. f.). CSS (Hojas de estilo en cascada). Recuperado de https://developer.mozilla.org/es/docs/Web/CSS; HubSpot. (s. f.). ¿Qué es CSS? Recuperado de https://blog.hubspot.es/website/que-es css; Socket.IO. (s. f.). Documentación. Recuperado de https://socket.io/docs/v4/; Ably. (s. f.). Socket.IO. Recuperado de https://ably.com/topic/socketio; Google Cloud. (s. f.). Introducción a OAuth. Recuperado de https://cloud.google.com/apigee/docs/api-platform/security/oauth/oauth introduction?hl=es-419; Auth0. (s. f.). Introducción a la IAM: ¿Qué es OAuth 2.0? Recuperado de https://auth0.com/es/intro-to-iam/what-is-oauth-2; Docker. (s. f.). Documentación de Docker. Recuperado de https://docs.docker.com/; Kinsta. (s. f.). ¿Qué es Docker? %7C Guía completa para principiantes. Recuperado de https://kinsta.com/es/base-de-conocimiento/que-es-docker/; Oracle. (s. f.). ¿Qué es Docker? Recuperado de https://www.oracle.com/co/cloud/cloud-native/container-registry/what-is-docker/; Oracle. (s. f.). ¿Qué es NoSQL? Recuperado de https://www.oracle.com/co/database/nosql/what-is nosql/#:~:text=Qu%C3%A9%20es%20NoSQL%3F-,Definici%C3%B3n%20de%2 0NoSQL,distinto%20a%20las%20tablas%20relacionales.; AWS. (s. f.). Bases de datos NoSQL. Recuperado de https://aws.amazon.com/es/nosql/; Google Cloud. (s. f.). Descubre qué es NoSQL. Recuperado de https://cloud.google.com/discover/what-is-nosql?hl=es-419; Xataka. (s.f.). Qué es GitHub y qué le ofrece a los desarrolladores. Recuperado de https://www.xataka.com/basics/que-github-que-que-le-ofrece-a-desarrolladores; EBAC. (s.f.). ¿Qué es GitHub? Recuperado de https://ebac.mx/blog/que-es-github; Refactoring Guru. (s.f.). Observer. Recuperado de https://refactoring.guru/design patterns/observer; Patterns.dev. (s.f.). Module Pattern. Recuperado de https://www.patterns.dev/vanilla/module-pattern; Red Hat. (s.f.). What is a REST API? Recuperado de https://www.redhat.com/es/topics/api/what-is-a-rest-api; KeepCoding. (s.f.). ¿Qué es JWT? Recuperado de https://keepcoding.io/blog/que-es jwt/; Kinsta. (s.f.). ¿Qué es Express.js? Recuperado de https://kinsta.com/es/base-de conocimiento/que-es-express/; Chakray. (s.f.). Swagger y Swagger UI: por qué es imprescindible para tus APIs. Recuperado de https://www.chakray.com/es/swagger-y-swagger-ui-por-que-es imprescindible-para-tus-apis/; Wix. (s.f.). Understanding the Difference Between UI and UX Design. Recuperado de https://www.wix.com/blog/understanding-difference-ui-ux-design; NPM. (s.f.). Nodemon. Recuperado de https://www.npmjs.com/package/nodemon; Platzi. (s.f.). ¿Qué es dotenv y para qué sirve? Recuperado de https://platzi.com/tutoriales/1540-flask/6843-que-es-dotenv-para-que-sirve/; IBM. (s.f.). JavaScript Object Notation (JSON) format. Recuperado de https://www.ibm.com/docs/es/baw/20.x?topic=formats-javascript-object-notation json-format; Pressman, R. S. (2014). Software Engineering: A Practitioner's Approach (8th ed.). McGraw-Hill.; Sommerville, I. (2015). Software Engineering (10th ed.). Pearson.; Vygotsky, L. S. (1978). Mind in Society: The Development of Higher Psychological Processes. Harvard University Press.; Piaget, J. (1970). Science of Education and the Psychology of the Child. Viking Press.; Knowles, M. S. (1975). Self-Directed Learning: A Guide for Learners and Teachers. Association Press.; https://hdl.handle.net/11349/99617

Verfügbarkeit: https://hdl.handle.net/11349/99617

Adaptive Hint Generation for Educational Games Using Fuzzy Logic

Autoren: Primanita, Anggina Satria, Hadipurnawan Rizqie, Muhammad Qurhanul et al.

Weitere Verfasser: Primanita, Anggina Satria, Hadipurnawan Rizqie, Muhammad Qurhanul et al.

Quelle: JURNAL TEKNIK INFORMATIKA; Vol 18, No 1: JURNAL TEKNIK INFORMATIKA; 101-110 ; 2549-7901 ; 1979-9160

Schlagwörter: Technology, Informatic, Educational Game, Adaptive Game, Programming Logic, Computational Thinking, Fuzzy Logic

Dateibeschreibung: application/pdf

Relation: https://journal.uinjkt.ac.id/index.php/ti/article/view/41893/pdf; https://journal.uinjkt.ac.id/index.php/ti/article/downloadSuppFile/41893/12301; https://journal.uinjkt.ac.id/index.php/ti/article/view/41893

Verfügbarkeit: https://journal.uinjkt.ac.id/index.php/ti/article/view/41893
https://doi.org/10.15408/jti.v18i1.41893

Box Ocean Ecosystem Sorting Media (BOESM) Development based on Coding and Artificial Intelligence Unplugged

Autoren: Solihin, Solihin Harahap, Lia Junita Bae, Kyungsuk et al.

Quelle: Bioedunis Journal; Vol 4, No 1 (2025); 61-70 ; 2829-7601 ; 10.24952/bioedunis.v4i1

Schlagwörter: Artificial Intelligence, Computational thinking, Marine ecosystem concept, Programming logic, Unplugged learning

Dateibeschreibung: application/pdf

Relation: https://jurnal.uinsyahada.ac.id/index.php/Bioedunisi/article/view/16553/6723; https://jurnal.uinsyahada.ac.id/index.php/Bioedunisi/article/view/16553

Verfügbarkeit: https://jurnal.uinsyahada.ac.id/index.php/Bioedunisi/article/view/16553
https://doi.org/10.24952/bioedunis.v4i1.16553

Automated Reasoning

Weitere Verfasser: Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A.

Schlagwörter: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, Mathematical theory of computation, Software Engineering, Artificial intelligence, Computer hardware

Dateibeschreibung: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/92347

BELAJAR MENGURUTKAN ANGKA SECARA VISUAL BERBASIS GAME BERBENTUK GAME PUZZLE: SEBAGAI PENDAHULUAN BELAJAR LOGIKA PEMROGRAMAN

Autoren: Wahyu Sanjaya Muhammad Sultan Fauzan Tedjo Darmanto

Quelle: Edusaintek, Vol 11, Iss 1 (2023)

Schlagwörter: programming logic, sorting, puzzle game, game-based learning, learner engagement, Technology, 4. Education, Education

Zugangs-URL: https://doaj.org/article/95dc9017917c40989d89dfe8ad2844d4

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Autoren: Haselwarter, Philipp Rivas, Exequiel van Muylder, Antoine et al.

Weitere Verfasser: Haselwarter, Philipp Rivas, Exequiel van Muylder, Antoine et al.

Quelle: Haselwarter, P G, Rivas, E, Van Muylder, A, Winterhalter, T, Abate, C, Sidorenco, N, Hriţcu, C, Maillard, K & Spitters, B 2023, 'SSProve : A Foundational Framework for Modular Cryptographic Proofs in Coq', ACM Transactions on Programming Languages and Systems, vol. 45, no. 3, 15, pp. 61. https://doi.org/10.1145/3594735
ACM Transactions on Programming Languages and Systems (TOPLAS)

Schlagwörter: Technology, Pre-and post-conditions, Invariants, modular proofs, 4612 Software engineering, 4606 Distributed computing and systems software, [INFO] Computer Science [cs], High-assurance cryptography, Security and privacy, Formal methods and theory of security, state-separating proofs, high-assurance cryptography, Programming logic, [INFO]Computer Science [cs], formal verification, probabilistic relational program logic, machine-checked proofs, SECURITY, Science & Technology, 0803 Computer Software, Software Engineering, Computer Science, Software Engineering, ENCRYPTION, game-based proofs, 0806 Information Systems, Program verification, Computer Science, Categorical semantics, Cryptography, Logic and verification, Probabilistic computation

Dateibeschreibung: application/pdf

Zugangs-URL: https://pure.au.dk/ws/files/418606654/3594735.pdf
https://pure.au.dk/ws/files/418606654/3594735.pdf
http://www.scopus.com/inward/record.url?scp=85173587757&partnerID=8YFLogxK
https://pure.au.dk/portal/en/publications/1e610b43-3ec3-4bc1-a847-f069e0756a3e
https://doi.org/10.1145/3594735

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling

Autoren: Cappanera, P Gavanelli, M Nonato, M et al.

Quelle: Theory and Practice of Logic Programming. 23:848-864

Schlagwörter: FOS: Computer and information sciences, answer set programming, logic-based Benders decomposition, outpatients appointment scheduling, chronic patients with comorbidities, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0211 other engineering and technologies, answer set programming, logic-based Benders decomposition, outpatients appointment scheduling, chronic patients with comorbidities, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2305.11969
https://hdl.handle.net/11392/2519733
https://doi.org/10.1017/S147106842300025X
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logicbased-benders-decomposition-in-answer-set-programming-for-chronic-outpatients-scheduling/EE79CF9B533ED16315CAFBF5A3E50A56
https://hdl.handle.net/11568/1204767
https://doi.org/10.1017/S147106842300025X
https://hdl.handle.net/2158/1344992
https://doi.org/10.1017/S147106842300025X
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logicbased-benders-decomposition-in-answer-set-programming-for-chronic-outpatients-scheduling/EE79CF9B533ED16315CAFBF5A3E50A56

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code

Autoren: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri et al.

Weitere Verfasser: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri et al.

Quelle: PLDI '22

Schlagwörter: Separation logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], type systems, separation logic, 0202 electrical engineering, electronic engineering, information engineering, Iris, Type theory Rust, 02 engineering and technology, prophecy variables, verification, CCS Concepts: • Theory of computation → Programming logic

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-03777103v1/document
https://inria.hal.science/hal-03777103v1
https://doi.org/10.1145/3519939.3523704
http://hdl.handle.net/21.11116/0000-000A-AF23-A
http://hdl.handle.net/21.11116/0000-000A-AF25-8

Subconscious Branding: The Role of Artificial Intelligence in Marketing

Autoren: Dr. Amey Pangarkar Dr. Nandita Mishra Dr. P. S. Aithal

Quelle: SSRN Electronic Journal.

Schlagwörter: Subconscious Branding, Artificial Intelligence, ABCD Analysis, Generative AI, Programming Logic, Augmented Analytics

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Weitere Verfasser: Benzmüller, Christoph Heule, Marijn J. H. Schmidt, Renate A.

Quelle: Lecture Notes in Computer Science ISBN: 9783031634970
Benzmüller, C, Heule, M J H & Schmidt, R A (eds) 2024, Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I. Lecture Notes in Computer Science, vol. 14739, Lecture Notes in Artificial Intelligence, vol. 14739, Springer Cham. https://doi.org/10.1007/978-3-031-63498-7, https://doi.org/10.1007/978-3-031-63498-7

Schlagwörter: Separation logic, Rewriting, Higher order logic, Logic, Description logics, Theorem Proving, Proof theory, Non-classical Logics, Automated reasoning, Intuitionistic Logics, Open Access, Satisfiability Solving, Programming logic, Logic and verification, Interactive proof systems, First-order logic, Deontic Logic, Modal Logics, Modal and temporal logics, Equational logic and rewriting

Zugangs-URL: https://research.manchester.ac.uk/en/publications/8f1aa8c7-143b-4b49-b6a7-e7f29e77db1f
https://doi.org/10.1007/978-3-031-63498-7

Mobile Learning Tools to Support in Teaching Programming Logic and Design: A Systematic Literature Review

Autoren: Regina Célia Coelho Matheus F. P. Marques Tiago de Oliveira

Quelle: Informatics in Education, Vol 22, Iss 4, Pp 589-612 (2023)

Schlagwörter: mobile learning, algorithms, Programming Logic, systematic literature review, Special aspects of education, LC8-6691

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/1648-5831; https://doaj.org/toc/2335-8971

Zugangs-URL: https://doaj.org/article/778f81c44e0e4172a26aa466744be72d

ABOUT PROBLEMS OF DEVELOPMENT OF ALGORITHMIC THINKING OF UNIVERSITY STUDENTS IN RELATION TO CREATION OF APPLICATIONS

Autoren: Tokhirov F.J.

Schlagwörter: algorithm, programming, logic, algorithmic thinking, logical thinking. One of the most pressing issues today is the formation and development of students' logical and algorithmic thinking in programming [1-3]

Videojuego para el fortalecimiento del desarrollo de la lógica de programación: una experiencia interactiva de aprendizaje, Fuzzy Trail ; Diseño de un videojuego para el fortalecimiento del desarrollo de la lógica de programación: una experiencia interactiva de aprendizaje. ; Video game for strengthening programming logic development: an interactive learning experience, Fuzzy Trail

Autoren: Tellez Plazas, Cristian Giovanny Rodríguez Guerrero, Rocío

Weitere Verfasser: Tellez Plazas, Cristian Giovanny Rodríguez Guerrero, Rocío

Schlagwörter: Generación procedural, Algoritmo DFS (Depth-First Search), Videojuego educativo, Lógica de programación, Aprendizaje interactivo, Tecnología en Sistematización de Datos -- Tesis y disertaciones académicas, Videojuegos -- Educación, Programación -- Enseñanza, Videojuegos -- Diseño, Algoritmos (Ccomputadores) -- Enseñanza, Procedural generation, DFS algorithm (Depth-First Search), Educational videogame, Programming logic, Interactive learning

Dateibeschreibung: pdf; application/pdf; application/zip

Relation: Piaget, J. (1950). El desarrollo de la inteligencia en el niño. New York: Harcourt, Brace & World.; Vygotsky, L. S. (1962). El desarrollo del pensamiento y del lenguaje. Buenos Aires: Paidós.; Ausubel, D. P. (1968). Aprendizaje y desarrollo en la escuela. Buenos Aires: Paidós.; Dewey, J. (1951). Pedagogía constructivista. Buenos Aires: Losada.; Bransford, J. D., & Brown, A. L. (1997). Constructivism and education: A brief overview. In L. P. Steffe & J. Gale (Eds.), Constructivism in education (pp. 3-18). Hillsdale, NJ: Lawrence Erlbaum Associates.; Vygotsky, L. S. (1978). Mind in society: The development of higher psychological processes. Cambridge, MA: Harvard University Press.; Elkind, D. (1971). The process of accommodation in Piaget 's theory of cognitive development. In P. H. Mussen (Ed.), Carmichael 's manual of child psychology (Vol. 1, pp. 723-750). New York: Wiley.; Ryan, R. M., & Deci, E. L. (2000). Self-determination theory and the facilitation of intrinsic motivation, social development, and well-being. American Psychologist, 55(1), 68-78.; García Aretio, L. (2010). Los entornos virtuales como espacios de enseñanza y aprendizaje. Una perspectiva psicoeducativa para su caracterización y análisis. Revista de Educación a Distancia, (14), 1-24; Lepper, M. R., & Henderlong, J. (2000). Intrinsic motivation and extrinsic rewards: Classic definitions and new directions. Contemporary Educational Psychology, 25(1), 54-67.; Barab, S. A., & Dede, C. (2007). Games and learning: A synoptic view. Educational Psychologist, 42(2), 163-182.; Kapp, K. M. (2012). The gamification of learning and instruction: Game-based methods and strategies for training and education. Wiley.; Werbach, K., & Hunter, D. (2012). Gamification: Using game-design elements in non-game contexts. Pearson Education.; Rodríguez, B., & De La Paz, M. (2021). Programación de juegos. librerías y entornos de desarrollo específicos. motores de juegos. funciones y componentes. Centro de Estudios de Postgrado Universidad de Jaén.; https://hdl.handle.net/11349/93457

Verfügbarkeit: https://hdl.handle.net/11349/93457

Open Educational Resource for Studying Algorithms and Programming Logic: An Approach to the Technical Level Integrated with Secondary School

Autoren: Diego E. F. Pereira Rodrigo D. Seabra

Quelle: Informatics in Education, Vol 22, Iss 3, Pp 441-462 (2023)

Schlagwörter: open educational resources, algorithms, Programming Logic, technical education, Special aspects of education, LC8-6691

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/1648-5831; https://doaj.org/toc/2335-8971

Zugangs-URL: https://doaj.org/article/3740f2f02c3243c09d6fc2e8dd409781

Analysis of the level of computational thinking of future teachers: a diagnostic proposal for the design of training actions ; Análisis del nivel de pensamiento computacional de los futuros maestros: una propuesta diagnóstica para el diseño de acciones formativas

Autoren: Villalustre Martínez, Lourdes

Quelle: Pixel-Bit. Revista de Medios y Educación; Núm. 69 (2024): Número 69. Enero (2024). Pixel-Bit. Revista de Medios y Educación; 169-194 ; Pi­xel-Bit. Media and Education Journal; No. 69 (2024): Número 69. Enero (2024). Pixel-Bit. Revista de Medios y Educación; 169-194 ; 2171-7966 ; 1133-8482

Schlagwörter: Computational thinking, programming logic, higher education, gender, previous experience, pensamiento computacional, educación superior, género, experiencia previa, lógica programación

Dateibeschreibung: application/pdf

Relation: https://recyt.fecyt.es/index.php/pixel/article/view/101205/75540; https://recyt.fecyt.es/index.php/pixel/article/view/101205/75550; https://recyt.fecyt.es/index.php/pixel/article/view/101205

Verfügbarkeit: https://recyt.fecyt.es/index.php/pixel/article/view/101205