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
StatusFinished
Effective start/end date1/01/1511/09/20

Research Output

  • 1 Doctoral Thesis

The Design and Use of Tools for Teaching Logic

Lodder, J. S., 1 Sep 2020, Heerlen: Canon Business Service. 142 p.

Research output: ThesisDoctoral ThesisInternal (IDIP)

Open Access
File
1 Downloads (Pure)