This paper introduces the concept of logical consistency in students' thinking in mathematical contexts. We present the Logical in-Consistency (LinC) instrument as a valuable assessment tool designed to examine the prevalence and types of logical inconsistencies among undergraduate students' evaluation of mathematical statements and accompanying…

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…

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

Psychometrics is the field of designing tests and assessments to measure certain psychological concepts. It is chiefly concerned with two fundamental properties: reliability and validity. These properties are often influenced by confounding variables: other things that can influence performance but are not what you are trying to measure. Here, I…

The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

In this paper, we propose an elementary proof of Niven's Theorem in which the tangent function will have a primary role.

This paper offers instructional interventions designed to support undergraduate math students' understanding of two forms of representations of Calculus concepts, mathematical language and graphs. We first discuss issues in students' understanding of mathematical language and graphs related to Calculus concepts. Then, we describe tasks, which are…

Assessment and evaluation tools and instruments are developed to measure many things from content knowledge to misconceptions to student affect. The standard validation processes for these are regularly conducted and provide strong evidence for the validity of the measurements that are made. As part of the suite of validation tools available to…

Teaching determinants poses significant challenges to the instructor of a proof-based undergraduate linear algebra course. The standard definition by cofactor expansion is ugly, lacks symmetry, and is hard for students to use in proofs. We introduce a visual definition of the determinant that interprets permutations as arrangements of…

General education science courses strive to promote scientific literacy and the development of scientific process skills. However, research shows that many general education courses are still designed to stress content mastery. In this study, the number of topics in five semester-long introductory atmospheric science courses was reduced to…

In this note, we report on an implementation of discovery-oriented problems in courses on Real Analysis and Differential Equations. We explain a type of task design that gives students the opportunity to conjecture, refute and prove. What is new is that the complexity in our problems is limited and thus the tasks can also be used in homework…

In an undergraduate analysis course taught by one of the authors, three prompts are regularly given: (i) What do we know? (ii) What do we need to show? (iii) Let's draw a picture. We focus on the third prompt and its role in helping students develop their confidence in learning how to construct proofs. Specific examples of visual models and their…

Following employers' criticisms and recent societal developments, policymakers and educators have called for students to develop a range of generic skills such as critical thinking ("twenty-first century skills"). So far, such skills have typically been assessed by student self-reports or with multiple-choice tests. An alternative…

Findings synthesized across five empirical laboratory- and classroom-based studies of high school and college students engaged in geometric reasoning and proof production during single- and multi-session investigations (346 participants overall) are presented. The findings converge on several design principles for computer technologies to support…

Within the undergraduate mathematics curriculum, the topic of simple least-squares linear regression is often first encountered in multi-variable calculus where the line of best fit is obtained by using partial derivatives to find the slope and y-intercept of the line that minimizes the residual sum of squares. A markedly different approach from…