The Purpose of Proof
Mathematics forms the foundation for computer science. And at the heart of this foundation is rigorous, mathematical reasoning, i.e., proof. Mathematical proof is the backbone of virtually all introductory mathematics courses within any computer science major. However, the degree to which rigorous reasoning is required of students in subsequent courses is highly variable across institutions. At some institutions, proof is a tool used to deepen material, whereas, at other places, proof is set aside in favor of increased topic coverage. Consequently, many students do not see the purpose of proof in computing. Furthermore, the demands of rigorous mathematical reasoning dissuade many students from continuing in the field.
As we reflect on our educational practices in the whitewater of the global pandemic, the pocket of inclusion, and on the shoulder of updated ACM curricular guidelines, we should reflect on why we value proof and how we teach it. In this BoF, we will discuss the purpose of proof in the undergraduate computer science curriculum: Why do we do it? To what degree should we do it? How do we teach it faithfully while conveying its relevance and removing barriers to students entering the discipline?
Thu 16 MarDisplayed time zone: Eastern Time (US & Canada) change
17:30 - 18:20
BOF A-9Birds of a Feather at 718A
|The Purpose of ProofIn-Person|
Birds of a Feather
Bruce Char Drexel University, Peter-Michael Osera Grinnell College, David G. Wonnacott Haverford CollegeDOI