Filtern
Volltext vorhanden
- ja (1)
Erscheinungsjahr
- 2016 (1)
Dokumenttyp
Sprache
- Deutsch (1) (entfernen)
Gehört zur Bibliographie
- nein (1) (entfernen)
Institut
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.