A pilot study of the use of LogEx, lessons learned

J.S. Lodder; B.J. Heeren; J.T. Jeuring

A pilot study of the use of LogEx, lessons learned

J.S. Lodder, B.J. Heeren, J.T. Jeuring^*

^*Corresponding author for this work

Research Line Learning (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Abstract

LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluation
of the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.

Original language	English
Title of host publication	Proceedings of the Fourth International Conference on Tools for Teaching Logic
Subtitle of host publication	9–12 June 2015
Editors	M. Antonia Huertas, João Marcos, María Manzano , Sophie Pinchinat, François Schwarzentruber
Place of Publication	Rennes
Publisher	Presses Universitaires de Rennes
Pages	93-100
Number of pages	8
Publication status	Published - 2015
Event	Fourth International Congress on Tools for Teaching Logic - Rennes, France Duration: 9 Jun 2015 → 12 Jun 2015 Conference number: 4

Other

Other	Fourth International Congress on Tools for Teaching Logic
Abbreviated title	TTL 2015
Country/Territory	France
City	Rennes
Period	9/06/15 → 12/06/15

Access to Document

http://ttl2015.irisa.fr/TTL2015_proceedings.pdfLicence: CC BY

Cite this

Lodder, J. S., Heeren, B. J., & Jeuring, J. T. (2015). A pilot study of the use of LogEx, lessons learned. In M. A. Huertas, J. Marcos, M. Manzano , S. Pinchinat, & F. Schwarzentruber (Eds.), Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015 (pp. 93-100). Presses Universitaires de Rennes. http://ttl2015.irisa.fr/TTL2015_proceedings.pdf

@inproceedings{68f6c730c56d4ba8b520de3f0878619b,

title = "A pilot study of the use of LogEx, lessons learned",

abstract = "LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluationof the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.",

author = "J.S. Lodder and B.J. Heeren and J.T. Jeuring",

year = "2015",

language = "English",

pages = "93--100",

editor = "Huertas, {M. Antonia} and Jo{\~a}o Marcos and { Manzano }, Mar{\'i}a and { Pinchinat}, Sophie and Fran{\c c}ois Schwarzentruber",

booktitle = "Proceedings of the Fourth International Conference on Tools for Teaching Logic",

publisher = "Presses Universitaires de Rennes",

address = "France",

note = "Fourth International Congress on Tools for Teaching Logic, TTL 2015 ; Conference date: 09-06-2015 Through 12-06-2015",

}

Lodder, JS, Heeren, BJ & Jeuring, JT 2015, A pilot study of the use of LogEx, lessons learned. in MA Huertas, J Marcos, M Manzano , S Pinchinat & F Schwarzentruber (eds), Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. Presses Universitaires de Rennes, Rennes, pp. 93-100, Fourth International Congress on Tools for Teaching Logic, Rennes, France, 9/06/15. <http://ttl2015.irisa.fr/TTL2015_proceedings.pdf>

A pilot study of the use of LogEx, lessons learned. / Lodder, J.S.; Heeren, B.J.; Jeuring, J.T.
Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. ed. / M. Antonia Huertas; João Marcos; María Manzano ; Sophie Pinchinat; François Schwarzentruber. Rennes: Presses Universitaires de Rennes, 2015. p. 93-100.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - A pilot study of the use of LogEx, lessons learned

AU - Lodder, J.S.

AU - Heeren, B.J.

AU - Jeuring, J.T.

N1 - Conference code: 4

PY - 2015

Y1 - 2015

N2 - LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluationof the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.

AB - LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluationof the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.

M3 - Conference Article in proceeding

SP - 93

EP - 100

BT - Proceedings of the Fourth International Conference on Tools for Teaching Logic

A2 - Huertas, M. Antonia

A2 - Marcos, João

A2 - Manzano , María

A2 - Pinchinat, Sophie

A2 - Schwarzentruber, François

PB - Presses Universitaires de Rennes

CY - Rennes

T2 - Fourth International Congress on Tools for Teaching Logic

Y2 - 9 June 2015 through 12 June 2015

ER -

A pilot study of the use of LogEx, lessons learned

Abstract

Other

Access to Document

Fingerprint

Cite this