Speaker
- Chris Sangwin (University of Edinburgh)
Details
In this seminar I will describe how we, at the University of Edinburgh, have tried to help students learn proof through online assessment. This is ongoing work, driven by a practical need and constrained by current technology which cannot automatically assess students' free form proof. The seminar will discuss the nature of elementary proof more generally.
