Institut für Informatik und Computational Science
Refine
Has Fulltext
- yes (2) (remove)
Year of publication
- 2016 (2)
Document Type
- Article (1)
- Conference Proceeding (1)
Language
- German (2)
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.