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.
Volltext Dateien herunterladen
SHA-1:fc6b8e9014e7766762173d04b374d0434f251de6
Weitere Dienste
| 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 |
