Proof Frameworks: A Way to Get Started
Proof Frameworks: A Way to Get Started
复制标题
证明框架：一种入门方法
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Ahmed Benkhalti
中科院分区：
文献类型：
--
作者：
Annie Selden;J. Selden;Ahmed Benkhalti
摘要许多数学系都为第二学期的学生开设了过渡到证明的课程，以帮助他们学习如何构造证明，并为抽象代数和真实的分析等基于证明的课程做好准备。我们已经开发出一种方法，让学生，谁经常盯着一张空白的纸不知道该怎么做，开始写证明。这是编写证明框架的技术，它基于定理和相关定义的陈述的逻辑结构。此外，为了解开结论并知道需要证明什么，学生需要定义变得“可操作”。
Abstract Many mathematics departments have instituted transition-to-proof courses for second semester sophomores to help them learn how to construct proofs and to prepare them for proof-based courses, such as abstract algebra and real analysis. We have developed a way of getting students, who often stare at a blank piece of paper not knowing what to do, to start writing proofs. This is the technique of writing proof frameworks, which is based on the logical structure of the statements of the theorems and associated definitions. Also, in order to unpack the conclusion and know what is to be proved, students need definitions to become “operable.”