LPO Proofs in Two Educational Contexts

Engelbert Hubbers

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

LPO Proofs in Two Educational Contexts

Topics: Instructional Design; Intelligent Learning and Teaching Systems; Tools to Assess Learning

In Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU, 270-278, 2021

Author: Engelbert Hubbers

Affiliation: Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands

Keyword(s): Term Rewriting Systems, Lexicographical Path Order, Tree Style Proof, Fitch Style Proof, Digital Exams.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.22.119.251

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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; ISSN 2184-5026, SciTePress, pages 270-278. DOI: 10.5220/0010399402700278

@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},
issn={2184-5026},
}

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
IS - 2184-5026
AU - Hubbers, E.
PY - 2021
SP - 270
EP - 278
DO - 10.5220/0010399402700278
PB - SciTePress