Institut für Informatik und Computational Science
Refine
Has Fulltext
- yes (1) (remove)
Year of publication
- 2016 (1)
Document Type
- Article (1) (remove)
Language
- German (1) (remove)
Is part of the Bibliography
- no (1)
Institute
- Institut für Informatik und Computational Science (1) (remove)
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.