Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

8 Citationer (Scopus)

Resumé

In this paper the focus is on the construction, use, pedagogical potential, and long-term sustainability of certain web-based tools designed for teaching logic. A series of web-based tools have been implemented as a two-part system, and the tools have been tested and evaluated in a number of practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress of students. In the paper, we provide a presentation of the pedagogical and technical ideas of construction that underpin the tools which have been made so far. It is explained how the tools can be developed as web applications using gamified quizzing. We then provide an evaluation of the potential of log data as learning analytics offered by these tools in the context of university courses introducing basic logic and formal aspects of argumentation. We also describe how we have used and evaluated the tools in a real learning context, using both quantitative, log-based data and qualitative interview. The evaluation also includes a discussion of the ethical aspects concerning the logging of student data. We also provide some insights on how the tools can and have been made sustainable.
OriginalsprogEngelsk
TitelScaling up Learning for Sustained Impact : 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings
Antal sider14
ForlagSpringer Publishing Company
Publikationsdato2013
Sider410-423
ISBN (Trykt)978-3-642-40813-7
ISBN (Elektronisk)978-3-642-40814-4
DOI
StatusUdgivet - 2013
BegivenhedEuropean Conference, on Technology Enhanced Learning - Paphos, Cypern
Varighed: 17 sep. 201321 sep. 2013
Konferencens nummer: 8th

Konference

KonferenceEuropean Conference, on Technology Enhanced Learning
Nummer8th
LandCypern
ByPaphos
Periode17/09/201321/09/2013
NavnLecture Notes in Computer Science
Vol/bind8095
ISSN0302-9743

Citer dette

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., & Ploug, T. (2013). Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. I Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings (s. 410-423). Springer Publishing Company. Lecture Notes in Computer Science, Bind. 8095 https://doi.org/10.1007/978-3-642-40814-4_32
Øhrstrøm, Peter ; Sandborg-Petersen, Ulrik ; Thorvaldsen, Steinar ; Ploug, Thomas. / Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, 2013. s. 410-423 (Lecture Notes in Computer Science, Bind 8095).
@inbook{5449251b981a42d9919bf2c01f4a13e2,
title = "Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments",
abstract = "In this paper the focus is on the construction, use, pedagogical potential, and long-term sustainability of certain web-based tools designed for teaching logic. A series of web-based tools have been implemented as a two-part system, and the tools have been tested and evaluated in a number of practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress of students. In the paper, we provide a presentation of the pedagogical and technical ideas of construction that underpin the tools which have been made so far. It is explained how the tools can be developed as web applications using gamified quizzing. We then provide an evaluation of the potential of log data as learning analytics offered by these tools in the context of university courses introducing basic logic and formal aspects of argumentation. We also describe how we have used and evaluated the tools in a real learning context, using both quantitative, log-based data and qualitative interview. The evaluation also includes a discussion of the ethical aspects concerning the logging of student data. We also provide some insights on how the tools can and have been made sustainable.",
author = "Peter {\O}hrstr{\o}m and Ulrik Sandborg-Petersen and Steinar Thorvaldsen and Thomas Ploug",
year = "2013",
doi = "10.1007/978-3-642-40814-4_32",
language = "English",
isbn = "978-3-642-40813-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "410--423",
booktitle = "Scaling up Learning for Sustained Impact",
address = "United States",

}

Øhrstrøm, P, Sandborg-Petersen, U, Thorvaldsen, S & Ploug, T 2013, Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. i Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, Lecture Notes in Computer Science, bind 8095, s. 410-423, European Conference, on Technology Enhanced Learning, Paphos, Cypern, 17/09/2013. https://doi.org/10.1007/978-3-642-40814-4_32

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. / Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar ; Ploug, Thomas.

Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, 2013. s. 410-423 (Lecture Notes in Computer Science, Bind 8095).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

TY - CHAP

T1 - Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments

AU - Øhrstrøm, Peter

AU - Sandborg-Petersen, Ulrik

AU - Thorvaldsen, Steinar

AU - Ploug, Thomas

PY - 2013

Y1 - 2013

N2 - In this paper the focus is on the construction, use, pedagogical potential, and long-term sustainability of certain web-based tools designed for teaching logic. A series of web-based tools have been implemented as a two-part system, and the tools have been tested and evaluated in a number of practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress of students. In the paper, we provide a presentation of the pedagogical and technical ideas of construction that underpin the tools which have been made so far. It is explained how the tools can be developed as web applications using gamified quizzing. We then provide an evaluation of the potential of log data as learning analytics offered by these tools in the context of university courses introducing basic logic and formal aspects of argumentation. We also describe how we have used and evaluated the tools in a real learning context, using both quantitative, log-based data and qualitative interview. The evaluation also includes a discussion of the ethical aspects concerning the logging of student data. We also provide some insights on how the tools can and have been made sustainable.

AB - In this paper the focus is on the construction, use, pedagogical potential, and long-term sustainability of certain web-based tools designed for teaching logic. A series of web-based tools have been implemented as a two-part system, and the tools have been tested and evaluated in a number of practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress of students. In the paper, we provide a presentation of the pedagogical and technical ideas of construction that underpin the tools which have been made so far. It is explained how the tools can be developed as web applications using gamified quizzing. We then provide an evaluation of the potential of log data as learning analytics offered by these tools in the context of university courses introducing basic logic and formal aspects of argumentation. We also describe how we have used and evaluated the tools in a real learning context, using both quantitative, log-based data and qualitative interview. The evaluation also includes a discussion of the ethical aspects concerning the logging of student data. We also provide some insights on how the tools can and have been made sustainable.

U2 - 10.1007/978-3-642-40814-4_32

DO - 10.1007/978-3-642-40814-4_32

M3 - Book chapter

SN - 978-3-642-40813-7

T3 - Lecture Notes in Computer Science

SP - 410

EP - 423

BT - Scaling up Learning for Sustained Impact

PB - Springer Publishing Company

ER -

Øhrstrøm P, Sandborg-Petersen U, Thorvaldsen S, Ploug T. Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. I Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company. 2013. s. 410-423. (Lecture Notes in Computer Science, Bind 8095). https://doi.org/10.1007/978-3-642-40814-4_32