Refine
Has Fulltext
- yes (1)
Year of publication
- 2016 (1) (remove)
Document Type
- Article (1)
Language
- German (1)
Is part of the Bibliography
- no (1) (remove)
Institute
Dieser Beitrag diskutiert den Einsatz von interaktiven und automatischen Theorembeweisern in der universitären Lehre. Moderne Theorembeweiser scheinen geeignet zur Implementierung des dialogischen Lernens und als E-Assessment-Werkzeug in der Logikausbilding. Exemplarisch skizzieren wir ein innovaties Lehrprojekt zum Thema „Komputationale Metaphysik“, in dem die zuvor genannten Werkzeuge eingesetzt werden.