This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

As a novice, learning computer programming is challenging. It requires learners to be inquisitive and acquire skills to analyze problems to get to solutions critically. Unfortunately, students drop out of programming courses because students think that programming is difficult to understand. The student's understanding of the problem definition is…

The purpose of this study was to design a curriculum of artificial intelligence (AI) application for secondary schools. The learning objective of the curriculum was to allow students to learn the application of conversational AI on a block-based programming platform. Moreover, the empirical study actually implemented the curriculum in the formal…

This paper investigated the effect of block-based programming and unplugged coding teaching activities on fifth graders' computational thinking skills, self-efficacy, and academic performance. The teaching activities were conducted within the scope of the "Problem-Solving and Programming" unit of the Information Technologies and Software…

Demand for education in Computer Science has increased markedly in recent years. With increased demand has come to an increased need for student support, especially for courses with large programming projects. Instructors commonly provide online post forums or office hours to address this massive demand for help requests. Identifying what types of…

Using robotics and programming, this study investigated the effects of different levels of embodied instruction on the problem-solving, debugging, programming proficiency, self-determination, and self-efficacy of students in ethnically diverse elementary classrooms. The first small-scale, quasi-experimental study involved 37 second-graders, who…

The robotics context is suggested as a context that supports the learning of the sciences including mathematics. The present study investigates how the robotics context affects students' motivation for learning mathematics. Two groups of seventh-grade students participated in the present research: a robotics class (32 students) and a regular class…

Current research has not fully explored how summer programming camps can help students increase motivation and interest to pursue computing career, and their programming knowledge. Informal CS education through summer programming camps provides K-12 students the opportunity to learn how to code through fun and interactive activities outside of…

This study examines modelling with machine learning. In the context of a yearlong data science course, the study explores how upper secondary students apply machine learning with Jupyter Notebooks and document the modelling process as a computational essay incorporating the different steps of the CRISP-DM cycle. The students' work is based on a…

Elementary school teachers are increasingly being asked to teach computer science (CS)--a subject area with which they often have little familiarity. To address this gap, teacher professional development (PD) is a common approach for helping teachers become familiar with CS content. This paper describes a collaborative PD designed to accompany a…

This paper uses the PBS Nova show "Mind Over Money" to introduce a number of topics in behavioral finance. Instructors can also use the video as a jumping off point for expanding the discussion to the "second generation" of behavioral finance, where many of the decisions that differ from what are considered optimal are due to…

Computational Thinking (CT) has been formally incorporated into the National Curriculum of Thailand since 2017, where Scratch, a block-based visual programming language, has been widely adopted as CT learning environment for primary-level students. However, conducting hands-on coding activities in a classroom has caused substantial challenges…

Novice programmers need well-designed instruction and assessment informed by research and critical perspectives to conquer the historical challenges associated with completing introductory computer programming courses successfully. These issues include high dropout and failure rates, the struggle to acquire and retain basic programming knowledge,…

Background: Students experience higher-order thinking skills by finding ways to solve the problem, debugging errors while applying the solution, and testing the solution in programming. However, the inability to create schemas that will characterise programming structures is one of the difficulties during this process. Objectives: This study aimed…

The Uruguayan computational thinking (CT) program promotes CT skills for students in fourth, fifth, and sixth grades. Since 2017, it has reached over 70,000 students, with participation and Bebras challenge performance equally distributed by gender. This study examines gender perspectives in the program, focusing on teacher perceptions, student…