The design and use of tools for teaching logic

  • Lodder, Josje (PI)

Project Details

Layman's description

In this thesis we investigate how we can develop intelligent tutoring systems that support students in learning logic and how do students use these tools

Extended description

In this thesis we study the domains of standard equivalences and
normal forms, Hilbert-style axiomatic proofs, and structural induction. The main questions we address are:
How can we describe the expert knowledge of these topics in a domain reasoner?How can we generate feedback and feed forward?
What is the effect of the use of the designed tools in logic education?
Effective start/end date1/01/1511/09/20


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.