As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

Query languages are the foundations of database teaching and education practices. The broad adoption of graph databases contrasts with the limited research into how they are taught. Contrary to relational databases, graph databases allow navigational queries with higher expressivity and lack an a priori schema. In this article, we design a…

Physics, even though it is guided by simple principles, tends for many topics to be obscured in the mathematics redundancy. MATLAB®, as interactive software for computer algebra, has already had an important impact on the way physics is taught by educators. It has also had a substantial impact on the way research is performed by students to…

Background/purpose: The emergence of educational technologies has profoundly transformed teaching and learning methods in health sciences. This bibliometric study aims to identify the most widely used educational practices in this field between 2014 and 2024, exploring their applications within a constantly evolving technological context.…

Computer programming is regarded as an important skill for the future. However, many K-12 students face challenges and difficulties in learning traditional text-based programming. Block-based visual programming (BVP) can reduce the difficulty of learning programming and is seen as a potential programming education tool. Nevertheless, the effects…