The exploration of higher education (HE) teachers' approaches to teaching has mainly been done using quantitative instruments which have been criticised for being too narrow in examining the dimensions of teaching. "Higher education approaches to teaching" (HEAT) inventory is a recently developed instrument to capture the dimensions of…

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…

In recent years, professional organizations in the United States have suggested undergraduate mathematics shift away from pure lecture format. Transitioning to a student-centered class is a complex instructional undertaking especially in the proof-based context. In this paper, we share lessons learned from a design-based research project centering…

This study aims to find out: firstly, the qualifications for developing teaching materials to evaluate observation-based history learning and secondly the level of students' critical thinking skills. The results of this research contribute to improving students' critical thinking skills through the development of teaching materials. This research…

We propose the 'flow of a proof' as a construct that relates to the balance lecturers achieve in their presentation between the proof as a whole and its different parts, taking into account various aspects (informal, contextual) of proof classroom presentation. We conducted expert interviews in which we presented two different proofs of the same…

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.…

Although critical thinking has been widely accepted as an educational goal for decades, clear evidence for the development of students' critical thinking is sparse. Critical thinking has been conceptualised as skill, knowledge, and disposition respectively in psychology, philosophy and critical theory, but which applies to education is unclear. In…

Proof validation plays a significant role in students' understanding and learning of mathematical proofs. Recent studies have shown that university students were lacking skills in proof validation and were challenged by the implementation of the appropriate acceptance criteria when validating proofs. Drawing on Habermas' construct and rational…

The purpose of this study was to develop a reliable and valid rating scale for the use of the assessment and evaluation of lesson plans and teaching practices that are based on argumentation-based inquiry (ABI). The study covered two academic years (four academic semesters). Qualitative and quantitative methods were utilized throughout the…

Harmful and inaccurate narratives about the nature of mathematics, and about the mathematical incapability of historically marginalized groups, are pervasive and longstanding. The persistence of these narratives, and their documented negative impacts in school, the discipline, and beyond, have led some scholars to conclude that there is something…

As technology advances, virtual museums have gained popularity as a new form of learning resources. However, persuading audiences to absorb and comprehend a tremendous volume of information in an unregulated online environment is the challenge. Considering the use of an online application in educational practice, collaborative teamwork can be…

This research article is about "Introducing a Supportive Framework to Address Students' Misconceptions and Difficulties in Learning Mathematical proof techniques (MPT): A Case of Debark University". This study aims to develop, introduce, and implement a supportive framework to overcome students' misconceptions and difficulties in MPT.…

Background: Systematic collection of scientific evidence on the applicability an usability of model and its components is an important aspect of design and development research. Purpose: The aim of this study is to determine external validity of the organic reaction teaching model in terms of its practicability and potentiality in enhancing…

The importance of understanding student attitudes has become paramount in the successful deployment of blended learning. This study aimed to examine the factorial structure of a scale designed to assess university students' attitudes towards blended learning. Using a descriptive quantitative research approach, the study included a sample of 889…

Calculating analytical uncertainties as a part of method validation is a relevant aspect of field and laboratory practices in instrumental analytical chemistry subjects, which usually require complex algorithms. This work describes the development and didactic use of an automatic and straightforward informatics tool, implemented in an Excel macro,…