LPO Proofs in Two Educational Contexts

Engelbert Hubbers

Abstract

The purpose of this paper is twofold. First, it introduces several styles for constructing and writing down mathematical proofs for a specific technique used in theoretical Computing Science. Second, an inventory of pros and cons of these proof styles is made in two educational contexts, namely whether the proof styles help students in understanding the proofs, and whether the proof styles are practical in both written and digital exams. It turns out that there is no clear winner in both contexts, but the newly introduced so-called shuffled Fitch style is the most practical choice.

Download


Paper Citation


in Harvard Style

Hubbers E. (2021). LPO Proofs in Two Educational Contexts. In Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-758-502-9, pages 270-278. DOI: 10.5220/0010399402700278


in Bibtex Style

@conference{csedu21,
author={Engelbert Hubbers},
title={LPO Proofs in Two Educational Contexts},
booktitle={Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2021},
pages={270-278},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010399402700278},
isbn={978-989-758-502-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - LPO Proofs in Two Educational Contexts
SN - 978-989-758-502-9
AU - Hubbers E.
PY - 2021
SP - 270
EP - 278
DO - 10.5220/0010399402700278