4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 4 cited
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning…
cs.CY2015★ 3 cited
A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren, Johan Jeuring
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…