中文
相关论文

相关论文: Using Video Game Development to Motivate Program D…

200 篇论文

This work introduces a unified framework for analyzing games in greater depth. In the existing literature, players' strategies are typically assigned scalar values, and equilibrium concepts are used to identify compatible choices. However,…

计算机科学与博弈论 · 计算机科学 2026-02-04 Melih İşeri , Erhan Bayraktar

The role of design in K-12 education has increased in recent years. We argue that many of these design experiences do not help develop important habits of mind associated with Human Centered Design (HCD). In this paper, we present an…

人机交互 · 计算机科学 2023-07-18 Rama Adithya Varanasi , Shulong Yan , Dhavni Toprani , Marcela Borge

The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.

编程语言 · 计算机科学 2010-08-09 Chris Preston

Flipped classroom pedagogy is widely used in undergraduate mathematics to promote active learning, yet it remains unclear whether students experience it in systematically different ways. In this study, we analyze student perceptions from an…

历史与综述 · 数学 2026-05-11 S. Laudari , N. Karjanto

Designing software systems for Geometric Computing applications can be a challenging task. Software engineers typically use software abstractions to hide and manage the high complexity of such systems. Without the presence of a unifying…

数学软件 · 计算机科学 2017-05-19 Ahmad Hosny Eid

Practical research was conducted to cultivate students' mathematical computation ability using literature analysis, theoretical practice, and statistical analysis methods. The research involved 171 ninth-grade students from the author's…

历史与综述 · 数学 2023-03-06 Yang Liu , Xuedan Li

The term visual programming has started to be used in Informatics so far, however, there are different views on its meaning. The separation of visual programming from development tools of interfaces provides not only the certainty for this…

计算机与社会 · 计算机科学 2018-07-25 Vladyslav Velychko

Scientists often infer abstract procedures from specific instances of problems and use the abstractions to generate new, related instances. For example, programs encoding the formal rules and properties of a system have been useful in…

计算与语言 · 计算机科学 2025-07-22 Zaid Khan , Elias Stengel-Eskin , Archiki Prasad , Jaemin Cho , Mohit Bansal

Reflection is a critical aspect of the learning process. However, educational games tend to focus on supporting learning concepts rather than supporting reflection. While reflection occurs in educational games, the educational game design…

人机交互 · 计算机科学 2020-06-22 Jennifer Villareale , Colan F. Biemer , Magy Seif El-Nasr , Jichen Zhu

The game industry is moving into an era where old-style game engines are being replaced by re-engineered systems with embedded machine learning technologies for the operation, analysis and understanding of game play. In this paper, we…

计算机与社会 · 计算机科学 2021-01-05 Yilei Zeng , Aayush Shah , Jameson Thai , Michael Zyda

Learning to program could possibly be analogous to acquiring expertise in abstract mathematics, which may be boring or dull for a majority of students. Thus, among the countless options to approach learning coding [1-14], acquiring concepts…

计算机与社会 · 计算机科学 2019-03-14 Kailash Chandra , Shyamal Suhana Chandra

While functional programming is an efficient way to express complex software, functional programming languages have a steep learning curve. Haskell can be challenging to learn for students who were only introduced to imperative programming.…

编程语言 · 计算机科学 2019-06-28 Boldizsár Németh , Eunjong Choi , Erina Makihara , Hajimu Iida

We present a novel approach for teaching logic and the metatheory of logic to students who have some experience with functional programming. We define concepts in logic as a series of functional programs in the language of the proof…

编程语言 · 计算机科学 2022-07-27 Frederik Krogsdal Jacobsen , Jørgen Villadsen

Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the…

机器学习 · 计算机科学 2025-02-28 Fernando Martin-Maroto , Nabil Abderrahaman , David Mendez , Gonzalo G. de Polavieja

Population aging and the ubiquity of technology in everyday life have made designing solutions for older adults a necessity. User-centered and participatory design approaches include elderly users in the software development process to some…

Traditionally, scholars in physics education research pay attention to students solving well-structured learning activities, which provide restricted room for collaboration and idea-generation due to their close-ended nature. In order to…

物理教育 · 物理学 2020-03-31 Javier Pulgar , Alexis Spina , Carlos Ríos

Background: Programming skills are advantageous to navigate today's society, so it is important to teach them to students. However, failure rates for programming courses are high, and especially students who fall behind early in…

计算机与社会 · 计算机科学 2024-02-06 Belinda Schantong , Dominik Gorgosch , Janet Siegmund

An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging…

形式语言与自动机理论 · 计算机科学 2014-12-17 Marco T. Morazán , Rosario Antunez

University students taking introductory physics are generally successful executing mathematical procedures in context, but often struggle with the use of mathematical concepts for sense making. Physics instructors note that their students…

物理教育 · 物理学 2016-07-19 S. Brahmia , A. Boudreaux , S. E. Kanim

Computer programming is undergoing a true transformation driven by powerful new tools for automatic source code generation based on large language models. This transformation is also manifesting in introductory programming courses at…

计算机与社会 · 计算机科学 2025-07-02 Clemente Rubio-Manzano , Jazna Meza , Rodolfo Fernandez-Santibanez , Christian Vidal-Castro