Veranstaltungsprogramm

Sitzung
MS 19: Schulmathematik: Forschungsfelder zum Argumentieren, Begründen und Beweisen
Zeit:
Freitag, 08.03.2024:
10:30 - 12:00

Chair der Sitzung: Leander Kempen, Universität Greifswald
Chair der Sitzung: Michael Meyer, Universität zu Köln
Ort: R11 T04 C84


Präsentationen

Sprache, Logik und Beweisen

Laura Monz, Lukas Wachter

Universität des Saarlandes, Deutschland

Im Beitrag wird das Zusammenspiel von Sprache und Logik im Rahmen des Beweisens im Unterricht der Primar- und Sekundarstufe betrachtet. Zunächst werden sprachliche und logische Besonderheiten im Mathematikunterricht näher beleuchtet und anhand der Mehrdeutigkeit logischer Operatoren exemplarisch veranschaulicht. Zur parallelen Behandlung von Logik und Beweisen wird die informatisch-algorithmische Sprachform vorgeschlagen. Eine mögliche Konkretisierung mathematischer Logik im Rahmen des Beweisens von Teilbarkeitsregeln durch Programmierung wird abschließend vorgestellt.