A Hands-On Approach to Proof and Abstraction

摘要

Abstraction is an important part of mathematics and computer science, and it is a common stumbling point for students learning how to write mathematical proofs. This article outlines simple strategies for making mathematical proof less abstract in the context of the discrete mathematics course.