Proof is central to the curriculum for undergraduate mathematics majors. Despite transition-toproof courses designed to facilitate the shift from computation-based mathematics to proofbased mathematics, students continue to struggle with mathematical proof. In particular, there are few tasks beyond writing proofs that are specifically designed to develop students’ understanding of the proofs they read and the proof methods they utilize. The purpose of this paper is to introduce and discuss the merits of two such tasks: constructing and comparing logical outlines of presented proofs. Grounded in APOS Theory, this paper will illustrate a case study that suggests students can improve their understanding of the proofs they read as well as a particular proof method proof by contradiction – through these two tasks.
A Comparison of Proof Comprehension, PDF, Mathematical Proof
What preliminaries are required before one can begin to understand zk-SNARK (zero-knowledge proof)? - Quora
Mathematical Rigour and Informal Proof
Mathematical proof - Wikipedia
A Comparison of Proof Comprehension, PDF, Mathematical Proof
Comparative judgement, proof summaries and proof comprehension
PDF] Developing Proof Comprehension and Proof by Contradiction Through Logical Outlines
Cognitive trajectory of proof by contradiction for transition-to-proof students - ScienceDirect
Mathematics, Free Full-Text
Investigating the Development of Proof Comprehension: The Case of Proof by Contradiction
PDF) Why is proof by contradiction difficult?
Frontiers Epistemic Beliefs and Pre-service Teachers' Conceptions of History Instruction
Cognitive trajectory of proof by contradiction for transition-to-proof students - ScienceDirect
A Comparison of Proof Comprehension, PDF, Mathematical Proof
