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