Research output per year
Research output per year
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?
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 title | The design and use of tools for teaching logic |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/15 → 11/09/20 |
Fingerprint
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.
Research output
- 1 Doctoral Thesis
-
The Design and Use of Tools for Teaching Logic
Lodder, J. S., 4 Sept 2020, Heerlen: Open Universiteit. 146 p.Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal
Open AccessFile260 Downloads (Pure)