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?
Short titleThe design and use of tools for teaching logic
Effective start/end date1/01/1511/09/20