LPO Proofs in Two Educational Contexts

Engelbert Hubbers

2021

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.

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