Eine Übersicht aller Sessions/Sitzungen dieser Veranstaltung. Bitte wählen Sie einen Ort oder ein Datum aus, um nur die betreffenden Sitzungen anzuzeigen. Wählen Sie eine Sitzung aus, um zur Detailanzeige zu gelangen.
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.
