Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq
- Informatik-Studierende haben in der Mehrzahl Schwierigkeiten, einen Einstieg in die Theoretische Informatik zu finden und die Leistungsanforderungen in den Endklausuren der zugehörigen Lehrveranstaltungen zu erfüllen. Wir argumentieren, dass dieser Symptomatik mangelnde Kompetenzen im Umgang mit abstrakten und stark formalisierten Themeninhalten zugrunde liegen und schlagen vor, einen Beweisassistenten als interaktives Lernwerkzeug in der Eingangslehre der Theoretischen Informatik zu nutzen, um entsprechende Kompetenzen zu stärken.
Volltext Dateien herunterladen
SHA-1:0b03224a2c8aad0ae23fbe69637d93ccc1da81ea
Weitere Dienste
| Verfasserangaben: | Sebastian BöhneORCiD, Christoph Kreitz, Maria Knobelsdorf |
|---|---|
| URN: | urn:nbn:de:kobv:517-opus4-94824 |
| 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: | 69 |
| Letzte Seite: | 80 |
| 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 |
