Einsatz von Theorembeweisern in der Lehre
- 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.
Verfasserangaben: | Alexander Steen, Max Wisniewski, Christoph BenzmüllerORCiD |
---|---|
URN: | urn:nbn:de:kobv:517-opus4-94853 |
ISBN: | 978-3-86956-376-3 |
ISSN: | 1868-0844 |
ISSN: | 2191-1940 |
Titel des übergeordneten Werks (Deutsch): | Commentarii informaticae didacticae (CID) |
Verlag: | Universitätsverlag Potsdam |
Verlagsort: | Potsdam |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Deutsch |
Jahr der Erstveröffentlichung: | 2016 |
Erscheinungsjahr: | 2016 |
Veröffentlichende Institution: | Universität Potsdam |
Veröffentlichende Institution: | Universitätsverlag Potsdam |
Datum der Freischaltung: | 01.09.2016 |
Ausgabe: | 10 |
Erste Seite: | 81 |
Letzte Seite: | 92 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Publikationsweg: | Universitätsverlag Potsdam |
Sammlung(en): | Universität Potsdam / Schriftenreihen / Commentarii informaticae didacticae (CID) / CID (2016) 10 / Full Papers zum Thema „Werkzeuge“ |
Lizenz (Deutsch): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |