In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

Many 4-year public institutions face significant pedagogical challenges due to the high ratio of students to teaching team members. To address the issue, we developed a workflow using the programming language R as a method to rapidly grade multiple-choice questions, adjust for errors, and grade answer-dependent style multiple-choice questions,…

Computational thinking (CT), as a new future-oriented literacy, has gained attention at the basic education level. Graphical programming is the common way to develop CT in primary students, but this drag-and-drop programming may weaken students' understanding of programming's abstract concepts and code logic. Text-based programming approaches can…

Today computing is intricate in all aspects of our lives, beginning with communications and education to banking, information security, health, shopping, and social media. Development of the computing is proportional to the development of software which is becoming a serious part of all daily lives. This paper, therefore, assessed the impact of…

This study examined the developmental process of children's computational thinking using block-based programming tools, specifically algorithmic thinking and debugging skills. With this aim, a group of children (N = 191) from two primary schools were studied for two years beginning from the fourth grade, as they engaged in our block-based…

This article discusses the latest developments of the Sucre4Stem tool, as part of the Sucre initiative, which aims to promote interest in computational thinking and programming skills in K-12 students. The tool follows the Internet of Things approach and consists of two prominent components: 1) SucreCore and 2) SucreCode. SucreCore incorporates an…

High-quality programming projects for education are critically required in teaching. However, it is hard to develop those projects efficiently and artificially constrained by the lecturers' experience and background. The recent popularity of large language models (LLMs) has led to a great number of applications in the field of education, but…

A critical component of modern software development practices, particularly continuous integration (CI), is the halt of development activities in response to test failures which requires further investigation and debugging. As software changes, regression testing becomes vital to verify that new code does not affect existing functionality.…

This article presents a novel approach to introducing principal component analysis (PCA), using summary tables and descriptive statistics. Given its applicability across a variety of academic disciplines, this topic offers abundant opportunity for class discussion and activities. However, teaching PCA in an introductory class can be challenging…

In recent years, there has been an increasing trend of utilizing artificial intelligence (AI) methodologies over traditional statistical methods for predicting student performance in e-learning contexts. Notably, many researchers have adopted AI techniques without conducting a comprehensive investigation into the most appropriate and accurate…

Promoting computational thinking (CT) through programming activities is crucial for cultivating talent in today's digital landscape. However, recent research have revealed that students often face significant CT challenges during actual programming tasks. While it is widely recognized that additional scaffolding should be provided to support…

Knowledge components (KCs) have many applications. In computing education, knowing the demonstration of specific KCs has been challenging. This paper introduces an entirely data-driven approach for: (1) discovering KCs; and (2) demonstrating KCs, using students' actual code submissions. Our system is based on two expected properties of KCs: (1)…

Agent-based modeling is a promising tool for familiarizing students with complex systems as well as programming skills. Human-environment systems, for instance, entail complex interdependencies that need to be considered when modeling these systems. This complexity is often neglected in teaching modeling approaches. For a heterogeneous group of…

The author describes an assignment in an undergraduate game theory course in which students work together in class to develop a computer algorithm to identify Nash equilibria. This assignment builds basic computer science skills while applying game theory knowledge to real-world situations. Students work as a team to delineate the steps and write…

An overview of reviews aims to collect, assess, and synthesize evidence from multiple systematic reviews (SRs) on a specific topic using rigorous and reproducible methods. An important methodological challenge in conducting an overview of reviews is the management of overlapping data due to the inclusion of the same primary studies in SRs. We…